Some ideas for ports to OS kernels:
Debian GNU/Any Xnu Plan9 Haiku ReactOS ?OpenSolaris MenuetOS seL4 Genode OS Minix 3
Some ideas for ports to hardware:
LM32 RISC-V/lowRISC Elbrus E2K
Some ideas for ports to OS kernels:
Debian GNU/Any Xnu Plan9 Haiku ReactOS ?OpenSolaris MenuetOS seL4 Genode OS Minix 3
Some ideas for ports to hardware:
LM32 RISC-V/lowRISC Elbrus E2K