bios/boot: flush all caches before running from ram
authorFlorent Kermarrec <florent@enjoy-digital.fr>
Thu, 16 Aug 2018 17:47:43 +0000 (19:47 +0200)
committerFlorent Kermarrec <florent@enjoy-digital.fr>
Thu, 16 Aug 2018 17:47:43 +0000 (19:47 +0200)
litex/soc/software/bios/boot.c

index 9e5a4dc796b0239b742e77e17b315b5d206e23f5..9fb0658cd7373e8dede65a3d16fbf45ded59a68e 100644 (file)
@@ -26,6 +26,8 @@ static void __attribute__((noreturn)) boot(unsigned int r1, unsigned int r2, uns
        irq_setmask(0);
        irq_setie(0);
        flush_cpu_icache();
+       flush_cpu_dcache();
+       flush_l2_cache();
        boot_helper(r1, r2, r3, addr);
        while(1);
 }