[seL4] x86 kernel address space side channels

Ihor.Kuz at data61.csiro.au Ihor.Kuz at data61.csiro.au
Thu Jan 4 11:19:21 AEDT 2018


We are currently working on an seL4 fix for Meltdown.

Ihor.

> On 4 Jan 2018, at 9:35 am, Alex Elsayed <eternaleye at gmail.com> wrote:
> 
> It seems the snazzy site with a snazzy name and snazzy papers has landed:
> 
> https://spectreattack.com/
> 
> 
> _______________________________________________
> Devel mailing list
> Devel at sel4.systems
> https://sel4.systems/lists/listinfo/devel




More information about the Devel mailing list