From 9ac437d397475239223d5d1952fef37ca96b9ad3 Mon Sep 17 00:00:00 2001 From: James McGlashan Date: Thu, 1 Nov 2018 20:50:18 +0000 Subject: [PATCH] Robigalia is general purpose, not an IoT project. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index f2658c1..0df22e1 100644 --- a/README.md +++ b/README.md @@ -57,7 +57,7 @@ In 2018 Rust community has created an embedded workgroup to help drive adoption - [Exploring Rust on Teensy](https://branan.github.io/teensy/) by @branan — Beginner set of articles on getting into embedded dev in Rust. - [Pragmatic Bare Metal Rust](http://www.hashmismatch.net/pragmatic-bare-metal-rust/) A starter article about starting Rust development on STM32 microcontrollers (cubeMX + FFI). - [Using Rust in an Embedded Project: A Simple Example](https://spin.atomicobject.com/2016/07/08/rust-embedded-project-example/#.V3-os-6qlZw.hackernews) Article and some links on setting up Rust cross-compiling. -- [Robigalia](https://robigalia.org) IoT operating system in Rust running on secure seL4 microkernel. +- [Robigalia](https://robigalia.org) general purpose robust operating system in Rust running on secure seL4 microkernel. - [Tock](https://www.tockos.org) An embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers - [intermezzOS](http://intermezzos.github.io) A small teaching operating system in Rust. A book with some explanations is also included. - Raspberry Pi Bare Metal Programming with Rust