We are currently working on an seL4 fix for Meltdown. Ihor.
> On 4 Jan 2018, at 9:35 am, Alex Elsayed <[email protected]> wrote: > > It seems the snazzy site with a snazzy name and snazzy papers has landed: > > https://spectreattack.com/ > > > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
