Kernel computer science