Difference between revisions of "List of supported platforms"
Jump to navigation
Jump to search
(Add Raspberry Pi) |
|||
| Line 32: | Line 32: | ||
|Supported | |Supported | ||
|Full O/S teaching core functioning, network support in progress. | |Full O/S teaching core functioning, network support in progress. | ||
| + | |- | ||
| + | |[[Raspberry Pi]] [http://www.raspberrypi.org] | ||
| + | |Under Development | ||
| + | |Mostly working, but code not yet publicly available and documentation is under construction; check back here soon. | ||
|} | |} | ||
Revision as of 22:04, 2 August 2013
Summary
This page lists the platforms currently supported by the Embedded Xinu operating system.
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 | Mostly working, but code not yet publicly available and documentation is under construction; check back here soon. |
