"The Unix kernel's design implemented performance, thus instead of having a very small kernel that simply provided an IPC mechanism and some basic resource collision avoidance, this kernel actually provided all the device drivers, all the scheduling, all the memory management."