From 60ee59e698e73654041bc6dea051eb2828f2dca4 Mon Sep 17 00:00:00 2001 From: Liam Naddell Date: Tue, 10 Jul 2018 20:11:56 -0700 Subject: [PATCH] Change redox-os link the github is just a mirror so pointing people there seems wierd. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2670d37..91d2f3c 100644 --- a/README.md +++ b/README.md @@ -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) — [](https://travis-ci.org/redox-os/redox) +* [redox-os/redox](https://gitlab.redox-os.org/redox-os/redox) — [](https://travis-ci.org/redox-os/redox) * [thepowersgang/rust_os](https://github.com/thepowersgang/rust_os) — [](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.