On Sun, 2021-05-02 at 11:44 +0100, Luke Kenneth Casson Leighton wrote: > now of course, interestingly, we have to also hack in a "no-cache" > bypass of all addresses [above] 0xc000_0000 I guess this will have to be done in LoadStore1.