auxoncorp/ferros
View on GitHub ↗ ★ 121 Rust
A Rust-based userland which also adds compile-time assurances to seL4 development.
10 mentions on Hacker News by 1 person: 0 stories, 10 comments · first 2021-10-09 · latest 2025-03-23
20082026
-
https://github.com/auxoncorp/ferros Lots of type-level programming for tracking resources, hardware access, and capabilities at compile-time and trying to bring some of the underlying kernel guarantees up to the compiler because finding…
comment by im_down_w_otp · 2025-03-23 · in The SeL4 Microkernel: An Introduction [pdf] -
My company, https://www.auxon.io . We created https://github.com/auxoncorp/ferros originally to enable a customer project early in the company's life cycle. Some time later we had another customer interested in using it and having us add…
comment by im_down_w_otp · 2023-07-26 · in Octox: Unix-like OS in Rust inspired by xv6-riscv -
When we add WASM support to https://github.com/auxoncorp/ferros it'll sorta be like what you're angling at there in your description.
comment by im_down_w_otp · 2023-03-02 · in Writing an OS in Rust to run on RISC-V -
We've built things on seL4 ( https://github.com/auxoncorp/ferros ) before. We like to joke that it's the most perfect piece of nearly featureless software ever made. There's... A LOT... of work to do before seL4 is going to be anywhere…
comment by im_down_w_otp · 2023-02-13 · in My Fear of Commitment to the First CPU Core -
Did you look at https://github.com/auxoncorp/ferros
comment by im_down_w_otp · 2022-10-16 · in Announcing KataOS and Sparrow -
With a bit of dedication you could probably get that put together with https://github.com/auxoncorp/ferros using Rust & seL4.
comment by im_down_w_otp · 2022-09-12 · in Serving a high-performance blog solely from memory, using Rust -
That's basically what we did with https://github.com/auxoncorp/ferros , Bundle Rust programs together as tasks to run atop the formally verified seL4 microkernel.
comment by im_down_w_otp · 2021-12-18 · in Tokio Console -
We also built a Rust framework called FerrOS ( https://github.com/auxoncorp/ferros ) atop the formally-verified seL4 microkernel. It has a similar set of usage idioms to Hubris it looks like in terms of trying to setup as much as possible…
comment by im_down_w_otp · 2021-11-30 · in Hubris – A small operating system for deeply-embedded computer systems -
…for assembling software for use-case-specific/appliance computing, not general purpose computing. ( https://github.com/auxoncorp/ferros ) In the process we learned a lot about how to interface with the kernel, etc. from the work and…
comment by im_down_w_otp · 2021-10-16 · in Genode – Sculpt Operating System 21.10 -
…of freedom are actually a hindrance and a liability, not an advantage. Unikernels or otherwise. [1] https://github.com/auxoncorp/ferros
comment by im_down_w_otp · 2021-10-09 · in OSv Unikernel – Optimizing Guest OS to Run Stateless and Serverless Apps