software/bios: Gate flush_l2_cache() if L2 Cache isn't present.
authorWilliam D. Jones <thor0505@comcast.net>
Thu, 23 Aug 2018 03:03:08 +0000 (23:03 -0400)
committerWilliam D. Jones <thor0505@comcast.net>
Thu, 23 Aug 2018 03:03:08 +0000 (23:03 -0400)
litex/soc/software/bios/boot.c

index 9fb0658cd7373e8dede65a3d16fbf45ded59a68e..e6e0ce246e0a3fba20d4b694f1623ae6004449c4 100644 (file)
@@ -27,7 +27,9 @@ static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, uns
        irq_setie(0);
        flush_cpu_icache();
        flush_cpu_dcache();
+#ifdef L2_SIZE
        flush_l2_cache();
+#endif
        boot_helper(r1, r2, r3, addr);
        while(1);
 }