On Wed, Nov 25, 2009 at 03:39:01PM +0100, Arnaud Patard wrote: > > Would this only evict stuff from the ICACHE? When trying to execute > > a just written buffer and with a writeback DCACHE you would need to > > explicitly writeback the DCACHE to memory and invalidate the ICACHE. > > we already though about using BCACHE instead of ICACHE only but it > didn't make any difference. the bug is still there. That argument is ignored; the kernel will always do whatever it takes to get the I-cache consistent. Ralf