News for hackers. Stuff that matters.

A comment on Fuchsia OS Introduction. Parent comment

Re:Fuchsia OS Introduction by shakna on Monday March 25, 2019 @11:42PM (#19489136)
I believe they're PolySync [0], and I believe they might be referencing "fel4" a Rust-atop seL4 [1] that they've developed which is very cool stuff.

[0] https://polysync.io/

[1] https://github.com/PolySync/libsel4-sys

[ Parent | on HN ]
Re:Fuchsia OS Introduction by im_down_w_otp on Monday March 25, 2019 @11:54PM (#19489186)
Formally of, yes. Now some folks are doing all new things.
[ Parent | on HN ]
Re:Fuchsia OS Introduction by sansnomme on Tuesday March 26, 2019 @02:12AM (#19489624)
Can you elaborate?
[ Parent | on HN ]