There's no magic way out of spectre. If the intend is to isolate processes from each other, the "fence.t" instruction extension proposed by people involved wit

There's no magic way out of spectre. If the intend is to isolate processes from each other, the "fence.t" instruction extension proposed by people involved with seL4 does prevent timing side channels. Otherwise, great care should be taken when doing speculation.