This could open up ways to run Linux as a guest kernel of proper microkernel operating systems to aid with hardware compatibility.