REDO System Kernel A toy operating system kernel. (Using Raspberry Pi 2B as example) TODO List Boot from BCM2836 CPU [-] Initialize harwares UART0 File system of SD card ELF file loader Process switch