The kernel takes the model of the exokernel, where the kernel provides minimal services (security etc) and allows full access to hardware directly, without the use of kernel-loaded device drivers. Operating Systems are loaded in library modules.