New operating systems or could it make micro kernels viable?