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


CategoryPorts