List of supported platforms
Summary
This page lists the platforms currently supported by the Embedded Xinu operating system (or at least in development).
Supported Platforms
| Platform | Status | Comments |
|---|---|---|
| RISC-V Nezha | Experimental | This is the first port of Embedded Xinu to a RISC-V platform; development began in summer 2022. |
| Raspberry Pi model 3B+ [1] | Experimental | This is the first multi-core port of Embedded Xinu, and has been in use on Marquette campus since 2017. |
| Raspberry Pi model 1A and 1B [2] | Supported | This was the primary development platform for Embedded Xinu 2014-2018. |
| Linksys WRT54GL [3] | Supported - Legacy | This is was the primary development platform for Embedded Xinu 2007-2013. |
| Linksys WRT54G v8 [4] | Supported - Legacy | Tested and running at the Embedded Xinu Lab. |
| Linksys WRT54G v4 [5] | Probably Supported | The v4 is apparently the version on which WRT54GL is based, and so although the Embedded Xinu Lab has not explicitly tested it, it probably works. |
| Linksys WRT160NL [6] | Supported - Legacy | Newer model of router. Full O/S teaching core functioning, including wired network interface. |
| mipsel-qemu [7] | Supported | Full O/S teaching core functioning, network support incomplete. |
