Kernel Computer Science