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