Professional Linux Kernel Architecture