3 ms·
Does this uses anything from the Robigalia project? https://rbg.systems/ https://rbg.systems/
by nextaccountic 4y ago
Does this uses anything from the Robigalia project? https://rbg.systems/ https://rbg.systems/
- jtgans 4y agoActually, yes. We ported the seL4 crate to the latest kernel and modified it to better fit our needs. It's part of the OSS release, and we're hoping we can contribute it back to that project once we've done some more polishing to it.
- im_down_w_otp 4y agoDid you look at https://github.com/auxoncorp/ferros https://github.com/auxoncorp/ferros
- nextaccountic 4y agoThanks. You say about the OSS release, so, what parts (if any) aren't OSS yet? Is there a timeline for releasing more parts of this project as OSS?