List of supported platforms
Jump to navigation
Jump to search
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 [1] | Experimental | This is the first port of Embedded Xinu to a RISC-V platform; development began in summer 2022. |
| Raspberry Pi model 3B+ [2] | 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 [3] | Supported | This was the primary development platform for Embedded Xinu 2014-2018. |
| Linksys WRT54GL [4] | Supported - Legacy | This is was the primary development platform for Embedded Xinu 2007-2013. |
| Linksys WRT54G v8 [5] | Supported - Legacy | Tested and running at the Embedded Xinu Lab. |
| Linksys WRT54G v4 [6] | 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 [7] | Supported - Legacy | Newer model of router. Full O/S teaching core functioning, including wired network interface. |
| mipsel-qemu [8] | Supported | Full O/S teaching core functioning, network support incomplete. |
