Archived tweet #9253 from the @leastfixedpoint Twitter Archive

@johnregehr @lukego Looks like seL4 hits it, perhaps - just: l4hq.org/docs/performan… cites Elphinstone & Heiser 2013, giving ~90ns on x86