News for hackers. Stuff that matters.
Re:Fuchsia OS Introduction by cannonedhamster on Monday March 25, 2019 @10:45PM (#19488867)
This basically just came across as a GNU/linux hit piece. In my admittedly really limited knowledge wouldn't multiple vectors into the kernel introduce more surface area for attackers? The other problem with this is when is Google going to get bored with it and move on to something else? If they are willing to jettison Android they are willing to jettison anything. Also the line about GNU/linux only caring about servers seems to ignore the amazing amount of work that's gone into KDE, Gnome, Ubuntu, Kali Linux, Mint, etc. all of which are desktop focused and in the past few years have really started to catch up feature wise. Yes obviously there are still issues, and realistically there always will be issues. Windows and MacOS/iOS have issues with thousands of paid programmers why wouldn't a distro built by hundred of part time workers with only a portion of them paid to work just on the OS?
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).

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?

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. ;- )

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

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.
Re:Fuchsia OS Introduction by sansnomme on Tuesday March 26, 2019 @02:12AM (#19489624)
Can you elaborate?
Re:Fuchsia OS Introduction by im_down_w_otp on Monday March 25, 2019 @11:52PM (#19489175)
Re:Fuchsia OS Introduction by sansnomme on Tuesday March 26, 2019 @02:16AM (#19489629)
Site is just a contact form.
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.

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.
Re:Fuchsia OS Introduction by jayd16 on Tuesday March 26, 2019 @01:07AM (#19489433)
But they haven't shown to be willing to jettison Android. In fact, they're bringing it to more platforms(ChromeOS) and almost certainly they would bring it to Fuchsia.
Re:Fuchsia OS Introduction by pjmlp on Tuesday March 26, 2019 @03:33AM (#19489880)
They are bringing ART to Fuchsia.
Re:Fuchsia OS Introduction by threatofrain on Tuesday March 26, 2019 @12:17AM (#19489256)
It didn't come across as a hit piece but rather as a comparison with overly colorful language, like that stuff about being in the boiler room.