Re: [seL4] x86 kernel address space side channels

We are currently working on an seL4 fix for Meltdown. Ihor.

On 4 Jan 2018, at 9:35 am, Alex Elsayed wrote:

It seems the snazzy site with a snazzy name and snazzy papers has landed:

https://spectreattack.com/

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel