The Basic Kernel: Source Code Secrets