The GoFetch attack demonstrates (yet again) that trying to combat microarchitectural attacks leads nowhere, other than making the hardware more complex (and thus buggy).
In contrast, we have demonstrated years ago time protection as a principled pervention of such attacks. Needless to say, time protection defeats GoFetch.
Read more on my blog: https://microkerneldude.org/2024/04/18/gofetch-will-people-ever-learn/
GoFetch: Will people ever learn?

Last month researchers reported that the data memory-dependent prefetcher (DMP) on Apple M1 chips can be used to break encryption. (And there are indications that similar attacks might be possible …

microkerneldude
@gernot Has this been implemented somewhere in the mainstream seL4?
@carsickcans there's an implementation that is currently undergoing verification