soc/software/bios/boot: add vexriscv workaround
authorFlorent Kermarrec <florent@enjoy-digital.fr>
Fri, 1 Mar 2019 08:16:48 +0000 (09:16 +0100)
committerFlorent Kermarrec <florent@enjoy-digital.fr>
Fri, 1 Mar 2019 08:16:48 +0000 (09:16 +0100)
commit4bf789eab97452c8928e731adf58851f0b06e875
tree9f9b9d2a134ebef1b7bb132f86aa91caf8927a90
parent1fd81c288291156805d11aaa8d49b90c9cf741bb
soc/software/bios/boot: add vexriscv workaround

Flushing icache was working correctly on previous version of Vexriscv, understand
why it's no longer the case.
litex/soc/software/bios/boot.c