Difference between revisions of "List of supported platforms"
Jump to navigation
Jump to search
(More wiki links and updates) |
|||
| (11 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
== Summary == | == Summary == | ||
| − | This page lists the platforms currently supported by the Embedded | + | This page lists the platforms currently supported by the Embedded Xinu operating system (or at least in development). |
== Supported Platforms == | == Supported Platforms == | ||
| Line 9: | Line 9: | ||
!Comments | !Comments | ||
|- | |- | ||
| − | |[[WRT54GL| | + | |[[riscv-nezha|RISC-V Nezha]] [http://www.qemu.org/] |
| − | | | + | |Experimental |
| − | |This is | + | |This is the first port of Embedded Xinu to a RISC-V platform; development began in summer 2022. |
| + | |- | ||
| + | |[[Raspberry Pi model 3B+]] [http://www.raspberrypi.org] | ||
| + | |Experimental | ||
| + | |This is the first multi-core port of Embedded Xinu, and has been in use on Marquette campus since 2017. | ||
| + | |- | ||
| + | |[[Raspberry Pi model 1A and 1B]] [http://www.raspberrypi.org] | ||
| + | |Supported | ||
| + | |This was the primary development platform for Embedded Xinu 2014-2018. | ||
| + | |- | ||
| + | |[[WRT54GL|Linksys WRT54GL]] [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1133202177241&pagename=Linksys%2FCommon%2FVisitorWrapper] | ||
| + | |Supported - Legacy | ||
| + | |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] | |[[WRT54G|Linksys WRT54G]] v8 [http://www.linksys.com/servlet/Satellite?c=L_Product_C2&childpagename=US%2FLayout&cid=1149562300349&pagename=Linksys%2FCommon%2FVisitorWrapper] | ||
| − | | | + | |Supported - Legacy |
| − | |Tested and running at the Embedded | + | |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] | |[[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 | |Probably Supported | ||
| − | |The v4 is apparently the version on which WRT54GL is based, and so although the Embedded | + | |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 - 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 incomplete. |
|} | |} | ||
Latest revision as of 19:58, 21 March 2024
Summary
This page lists the platforms currently supported by the Embedded Xinu operating system (or at least in development).
Supported Platforms
| Platform | Status | Comments |
|---|---|---|
| RISC-V Nezha [1] | Experimental | This is the first port of Embedded Xinu to a RISC-V platform; development began in summer 2022. |
| Raspberry Pi model 3B+ [2] | Experimental | This is the first multi-core port of Embedded Xinu, and has been in use on Marquette campus since 2017. |
| Raspberry Pi model 1A and 1B [3] | Supported | This was the primary development platform for Embedded Xinu 2014-2018. |
| Linksys WRT54GL [4] | Supported - Legacy | This is was the primary development platform for Embedded Xinu 2007-2013. |
| Linksys WRT54G v8 [5] | Supported - Legacy | Tested and running at the Embedded Xinu Lab. |
| Linksys WRT54G v4 [6] | 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 WRT160NL [7] | Supported - Legacy | Newer model of router. Full O/S teaching core functioning, including wired network interface. |
| mipsel-qemu [8] | Supported | Full O/S teaching core functioning, network support incomplete. |
