The new buzzword for this new software is "microkernel."