List of supported platforms

From Embedded Xinu
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 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.