News for hackers. Stuff that matters.

A comment on Fuchsia OS Introduction. Parent comment

Re:Fuchsia OS Introduction by im_down_w_otp on Monday March 25, 2019 @10:55PM (#19488900)
Microkernels are often used in high-security/high-criticality use cases because the kernel's facilities are very limited and the surface area is very small (thus easier to reason about and assure). Most complex functionality is performed in isolated processes/tasks with known IPC boundaries (i.e. a random thing can't clobber or inspect the memory of everything else).

We build on top of seL4 for these reasons (among others).

[ Parent | on HN ]
Re:Fuchsia OS Introduction by DblPlusUngood on Tuesday March 26, 2019 @06:28AM (#19490539)
Sounds like a fun project!

Isn't seL4's multicore support either unverified or limited (i.e. shared memory is forbidden)? Is your platform single-threaded then?

[ Parent | on HN ]
Re:Fuchsia OS Introduction by microcolonel on Monday March 25, 2019 @11:18PM (#19489006)
> We build on top of seL4 for these reasons (among others).

Who's we? I too am down with OTP, especially OTP on seL4. ;- )

[ Parent | on HN ]
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 ]
Re:Fuchsia OS Introduction by im_down_w_otp on Monday March 25, 2019 @11:52PM (#19489175)
https://www.auxon.io
[ Parent | on HN ]
Re:Fuchsia OS Introduction by sansnomme on Tuesday March 26, 2019 @02:16AM (#19489629)
Site is just a contact form.
[ Parent | on HN ]
Re:Fuchsia OS Introduction by im_down_w_otp on Tuesday March 26, 2019 @01:30PM (#19494059)
Indeed. We haven't invested in expanding our public-facing presence yet.

I was just answering the "Who's we?" question.

Probably the easiest frame to think about what we're doing is building engineering automation products for systems & robotics engineers.

We ultimately want to do for those classes of engineers what things like CAD, FEA, EDA, etc. did previously for mechanical & electrical engineers in terms of managing complexity and amplifying their capabilities.

[ Parent | on HN ]
Re:Fuchsia OS Introduction by bobertlo on Tuesday March 26, 2019 @03:30AM (#19489870)
Well thanks, I don't know what I was expecting when I clicked the link anyways.
[ Parent | on HN ]