Change redox-os link

the github is just a mirror so pointing people there seems wierd.
This commit is contained in:
Liam Naddell 2018-07-10 20:11:56 -07:00 committed by GitHub
parent ef2edfe376
commit 60ee59e698
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -185,7 +185,7 @@ See also [Games Made With Piston](https://github.com/PistonDevelopers/piston/wik
See also [A comparison of operating systems written in Rust](https://github.com/flosse/rust-os-comparison).
* [redox-os/redox](https://github.com/redox-os/redox) — [<img src="https://api.travis-ci.org/redox-os/redox.svg?branch=master">](https://travis-ci.org/redox-os/redox)
* [redox-os/redox](https://gitlab.redox-os.org/redox-os/redox) — [<img src="https://api.travis-ci.org/redox-os/redox.svg?branch=master">](https://travis-ci.org/redox-os/redox)
* [thepowersgang/rust_os](https://github.com/thepowersgang/rust_os) — [<img src="https://api.travis-ci.org/thepowersgang/rust_os.svg?branch=master">](https://travis-ci.org/thepowersgang/rust_os)
* [tock/tock](https://github.com/tock/tock) — A secure embedded operating system for Cortex-M based microcontrollers
* [nebulet/nebulet](https://github.com/nebulet/nebulet) — A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.