From dff5e787fa1120761ca528a13ba575d10fd238ed Mon Sep 17 00:00:00 2001 From: Jon Date: Thu, 27 Sep 2018 10:07:01 -0700 Subject: [PATCH 1/2] Add cargo-fel4 to tools --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 3cad91b..673c4d3 100644 --- a/README.md +++ b/README.md @@ -79,6 +79,7 @@ In 2018 Rust community has created an embedded workgroup to help drive adoption - [bindgen](https://crates.io/crates/bindgen) Automatically generates Rust FFI bindings to C and C++ libraries. - ![crates.io](https://img.shields.io/crates/v/bindgen.svg) - [cortex-m semihosting](https://github.com/japaric/cortex-m-semihosting) Semihosting for ARM Cortex-M processors - [bobbin-cli](https://github.com/bobbin-rs/bobbin-cli) A Rust command line tool to simplify embedded development and deployment. +- [cargo-fel4](https://github.com/jonlamb-gh/cargo-fel4) A Cargo subcommand for working with feL4 projects. - ![crates.io](https://img.shields.io/crates/v/cargo-fel4.svg) ## Device crates From 65710f0007bfbf553dc51375849e8e72c065d938 Mon Sep 17 00:00:00 2001 From: Jon Date: Thu, 27 Sep 2018 10:11:52 -0700 Subject: [PATCH 2/2] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 673c4d3..0d1d5b5 100644 --- a/README.md +++ b/README.md @@ -79,7 +79,7 @@ In 2018 Rust community has created an embedded workgroup to help drive adoption - [bindgen](https://crates.io/crates/bindgen) Automatically generates Rust FFI bindings to C and C++ libraries. - ![crates.io](https://img.shields.io/crates/v/bindgen.svg) - [cortex-m semihosting](https://github.com/japaric/cortex-m-semihosting) Semihosting for ARM Cortex-M processors - [bobbin-cli](https://github.com/bobbin-rs/bobbin-cli) A Rust command line tool to simplify embedded development and deployment. -- [cargo-fel4](https://github.com/jonlamb-gh/cargo-fel4) A Cargo subcommand for working with feL4 projects. - ![crates.io](https://img.shields.io/crates/v/cargo-fel4.svg) +- [cargo-fel4](https://github.com/maindotrs/cargo-fel4) A Cargo subcommand for working with feL4 projects. - ![crates.io](https://img.shields.io/crates/v/cargo-fel4.svg) ## Device crates