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.