3 repositories on SrcLog
Ubuntu for Rockchip RK35XX Devices
A BIOS bootloader for bare-metal x86 programs, written in 8086 assembly
A hobby kernel developed from scratch using i8086 assembly