Bootloader:
- kernel download over serial with DMA
- kernel download from SD card
- boot pin for choosing boot mode
- integrated into disk image
Kernel:
- Preemptive scheduler with syscall interface
- Thread support
- Process support
- Virtual memory support
- srbk support
- FAT file system implementation
- DMA support
- ELF support