 This led to the traditional driver-in-the-kernel style of Unix, Linux, and Windows NT.With the proliferation of various kinds of peripherals, the amount of driver code escalated and in modern operating systems dominates the kernel in code size.As a microkernel must allow building arbitrary operating system services on top, it must provide some core functionality.