The Multi Kernel Has Landed

Anyone working on, conceiving or contemplating a new operating system could spend an hour looking at Barrelfish.  According to the SOSP, Barrelfish is, well, really .. a multi kernel. Imagine a traditional monolithic kernel, per core, tied together with the sensibility and reliability of a micro kernel. Yeah, I’m still digesting it myself shortly after [...]