[PR #346] [MERGED] Replace cargo-fel4 tool with ferros #354

New Issue

GiteaMirror · 2025-11-06T08:24:32-06:00

GiteaMirror commented

2025-11-06 08:24:32 -06:00

📋 Pull Request Information

Original PR: https://github.com/rust-embedded/awesome-embedded-rust/pull/346
Author: @jonlamb-gh
Created: 11/12/2021
Status: ✅ Merged
Merged: 11/12/2021
Merged by: @bors[bot]

Base: master ← Head: replace-cargo-fel4-with-ferros

📝 Commits (1)

f4ca179 Replace cargo-fel4 tool with ferros

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 README.md (+1 -1)

📄 Description

👋

I'm one of the authors of cargo-fel4 and the committer who added it to this list in #90.

It's no longer being maintained, and we've recently open sourced a much better alternative,
ferros, a Rust-based userland which also adds compile-time assurances to seL4 development.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/rust-embedded/awesome-embedded-rust/pull/346 **Author:** [@jonlamb-gh](https://github.com/jonlamb-gh) **Created:** 11/12/2021 **Status:** ✅ Merged **Merged:** 11/12/2021 **Merged by:** [@bors[bot]](https://github.com/apps/bors) **Base:** `master` ← **Head:** `replace-cargo-fel4-with-ferros` --- ### 📝 Commits (1) - [`f4ca179`](https://github.com/rust-embedded/awesome-embedded-rust/commit/f4ca179c92cc2c8f27b724c603ed7debefd15a57) Replace cargo-fel4 tool with ferros ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `README.md` (+1 -1) </details> ### 📄 Description :wave: I'm one of the authors of `cargo-fel4` and the committer who added it to this list in #90. It's no longer being maintained, and we've recently open sourced a much better alternative, [ferros](https://github.com/auxoncorp/ferros), a Rust-based userland which also adds compile-time assurances to seL4 development. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

GiteaMirror added the pull-request label 2025-11-06 08:24:32 -06:00

GiteaMirror closed this issue

2025-11-06 08:24:32 -06:00

GiteaMirror referenced this issue

2025-11-06 08:24:42 -06:00

[PR #354] [MERGED] Update README with some RP2040 boards #362

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/awesome-embedded-rust#354