Some ideas for ports to OS kernels: [[https://hadrons.org/~guillem/debian/ports/gnu-any/|Debian GNU/Any]] Xnu Plan9 Haiku ReactOS OpenSolaris [[http://menuetos.net/|MenuetOS]] [[https://sel4.systems/|seL4]] [[http://genode.org/|Genode OS]] [[http://www.minix3.org/|Minix 3]] [[http://www.redox-os.org/|Redox]] [[http://plan9.bell-labs.com/plan9/|Plan 9]] [[http://akaros.org/|Akaros]] [[https://blog.minocacorp.com/minoca-os-a-new-open-source-operating-system-4bb7998df3a7|Minoca]] [[http://toaruos.org/|ToaruOS]] [[https://fuchsia.googlesource.com/|Fuchsia]] Some ideas for ports to hardware: [[WikiPedia:LatticeMico32|LM32]] [[http://riscv.org/|RISC-V]]/[[http://www.lowrisc.org/|lowRISC]] [[http://elbrus2k.wikidot.com/|Elbrus E2K]] [[https://en.wikipedia.org/wiki/ETRAX_CRIS|ETRAX CRIS]] (cris-linux-gnu) [[https://en.wikipedia.org/wiki/TILE-Gx|TILE-Gx]] (tilegx-linux-gnu) [[https://www.parallella.org/2016/10/05/epiphany-v-a-1024-core-64-bit-risc-processor/|Epiphany]] [[WikiPedia:Category:Instruction_set_architectures|more]] Some ideas for ports to software defined architectures: [[https://lwn.net/Articles/674770/|CloudABI]] [[WikiPedia:WebAssembly|WebAssembly]] Apple Bitcode LLVM IR ---- CategoryPorts