It has been one year since the first security bugs in modern out-of-order CPUs
were discovered. These bugs broke the fundamental mechanisms and assumptions
that were used to build operating systems.
In this talk we look at how these bugs affected the L4Re operating system. We
will present some of the mitigations that were implemented and show the
performance impact. We also discuss whether microkernel systems in general did
fare better in dealing with this new class of security bugs.