Here's a quick ELI5 style question: what are the implications of Meltdown mitigations on microkernel architectures (vs monolithic designs)?
I haven't thought about the implications to reading kernel memory but it'd be great to see a paper on the subject.