We are currently working on an seL4 fix for Meltdown. Ihor.
> On 4 Jan 2018, at 9:35 am, Alex Elsayed <eternal...@gmail.com> 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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel