List of supported platforms - Revision history

AGebhard at 19:58, 21 March 2024

2024-03-21T19:58:25Z

2023-11-30T21:30:52Z

Supported Platforms

2013-09-12T02:57:11Z

mipsel-qemu, not qemu-mipsel

2013-09-12T02:52:33Z

Link to qemu-mipsel, not qemu

2013-09-11T19:49:19Z

Fix misleading statement

2013-09-07T22:49:11Z

Update Raspberry Pi status

2013-08-02T22:04:00Z

Add Raspberry Pi

2010-01-19T17:25:34Z

2010-01-19T00:29:05Z

Supported Platforms

2008-06-26T15:01:15Z

Supported Platforms

@@ Line 9: / Line 9: @@
 !Comments
 |-
-|RISC-V Nezha
+|[[riscv-nezha|RISC-V Nezha]] [http://www.qemu.org/]
 |Experimental
 |This is the first port of Embedded Xinu to a RISC-V platform; development began in summer 2022.

@@ Line 8: / Line 8: @@
 !width="15%"|Status
 !Comments
 |-
 |[[WRT54GL|Linksys WRT54GL]] [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1133202177241&pagename=Linksys%2FCommon%2FVisitorWrapper]
-|Supported
+|Supported - Legacy
-|This is our primary development platform, on which Xinu has been tested thoroughly.
+|This is was the primary development platform for Embedded Xinu 2007-2013.
 |-
 |[[WRT54G|Linksys WRT54G]] v8 [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1149562300349&pagename=Linksys%2FCommon%2FVisitorWrapper]
-|Supported
+|Supported - Legacy
 |Tested and running at the Embedded Xinu Lab.
 |-
@@ Line 20: / Line 32: @@
 |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.
 |-
 |[[WRT160NL|Linksys WRT160NL]] [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1149562300349&pagename=Linksys%2FCommon%2FVisitorWrapper]
-|Supported
+|Supported - Legacy
 |Newer model of router.  Full O/S teaching core functioning, including wired network interface.
 |-
 |[[mipsel-qemu]] [http://www.qemu.org/]
 |Supported
-|Full O/S teaching core functioning, network support in progress.
+|Full O/S teaching core functioning, network support incomplete.
 |}

@@ Line 29: / Line 29: @@
 |Newer model of router.  Full O/S teaching core functioning, including wired network interface.
 |-
-|[[Qemu-mipsel]] [http://www.qemu.org/]
+|[[mipsel-qemu]] [http://www.qemu.org/]
 |Supported
 |Full O/S teaching core functioning, network support in progress.

@@ Line 29: / Line 29: @@
 |Newer model of router.  Full O/S teaching core functioning, including wired network interface.
 |-
-|[[Qemu|Qemu-mipsel]] [http://www.qemu.org/]
+|[[Qemu-mipsel]] [http://www.qemu.org/]
 |Supported
 |Full O/S teaching core functioning, network support in progress.

@@ Line 1: / Line 1: @@
 == 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 ==

@@ 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.
 |}

@@ Line 11: / Line 11: @@
 |[[WRT54GL|LinkSys WRT54GL]] [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1133202177241&pagename=Linksys%2FCommon%2FVisitorWrapper]
 |Fully Supported
-|This is our primary development platform, on which XINU has been tested thoroughly.
+|This is our primary development platform, on which Xinu has been tested thoroughly.
 |-
 |[[WRT54G|Linksys WRT54G]] v8 [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1149562300349&pagename=Linksys%2FCommon%2FVisitorWrapper]
 |Fully Supported
-|Tested and running at the Embedded XINU Lab.
+|Tested and running at the Embedded Xinu Lab.
 |-
 |[[WRT54G|Linksys WRT54G]] v4 [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1149562300349&pagename=Linksys%2FCommon%2FVisitorWrapper]
 |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.
+|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.
 |-
 |[[WRT350N|LinkSys WRT350N]] [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1162354643512&pagename=Linksys%2FCommon%2FVisitorWrapper]