Difference between revisions of "List of supported platforms"

From Embedded Xinu
Jump to navigation Jump to search
(Update Raspberry Pi status)
(Fix misleading statement)
Line 1: Line 1:
 
== Summary ==
 
== Summary ==
This page lists the platforms currently supported by the Embedded Xinu operating system.
+
This page lists the platforms currently supported by the Embedded Xinu operating system (or at least in development).
  
 
== Supported Platforms ==
 
== Supported Platforms ==

Revision as of 19:49, 11 September 2013

Summary

This page lists the platforms currently supported by the Embedded Xinu operating system (or at least in development).

Supported Platforms

Platform Status Comments
Linksys WRT54GL [1] Supported This is our primary development platform, on which Xinu has been tested thoroughly.
Linksys WRT54G v8 [2] Supported Tested and running at the Embedded Xinu Lab.
Linksys WRT54G v4 [3] 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 WRT350N [4] Under Development Currently the synchronous UART Driver works.
Linksys WRT160NL [5] Supported Newer model of router. Full O/S teaching core functioning, including wired network interface.
Qemu-mipsel [6] Supported Full O/S teaching core functioning, network support in progress.
Raspberry Pi [7] Under Development Core operating system including wired networking is functional. Some new features are still being worked on, and the full documentation (e.g. for a laboratory setup) hasn't been completed yet.