Difference between revisions of "List of supported platforms"
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. |
