Pinned Loading

1. RISC-OS-Kernel-in-C RISC-OS-Kernel-in-C Public

   A multiprocessing RISC OS kernel in C

   C 17 2

2. IsambardOS IsambardOS Public

   Aarch64 operating system with an unusual approach to multi-processing

   C 3

3. SimpleAsPi SimpleAsPi Public

   32-bit ARM multi-threading, multi-processing kernel with an eye to running parts of RISC OS on top

   C 2