Difference between revisions of "List of supported platforms"

Revision as of 22:49, 7 September 2013

This page lists the platforms currently supported by the Embedded Xinu operating system.

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.

@@ Line 22: / Line 22: @@
 |-
 |[[WRT350N|Linksys WRT350N]] [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1162354643512&pagename=Linksys%2FCommon%2FVisitorWrapper]
-|[[WRT350N|Under Development]]
+|Under Development
 |Currently the synchronous [[UART Driver]] works.
 |-
@@ Line 35: / Line 35: @@
 |[[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.
+|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.
 |}