The impact of Meltre and Specdown on microkernel systems (*) (*) Deliberate misspelling of Meltdown…