Google Announces KataOS and Sparrow

Re:Google Announces KataOS and Sparrow by nextaccountic on Sunday October 16, 2022 @08:48AM (#33223190)

Does this uses anything from the Robigalia project? https://rbg.systems/

[ Parent | on HN ]

Re:Google Announces KataOS and Sparrow by jtgans on Sunday October 16, 2022 @12:07PM (#33224671)

Actually, 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.

[ Parent | on HN ]

Re:Google Announces KataOS and Sparrow by im_down_w_otp on Sunday October 16, 2022 @03:16PM (#33226366)

Did you look at https://github.com/auxoncorp/ferros

[ Parent | on HN ]

Re:Google Announces KataOS and Sparrow by nextaccountic on Sunday October 16, 2022 @09:48PM (#33229028)

Thanks. 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?

[ Parent | on HN ]