Genode OS Draws Up 2020 Plans Of USB Audio, A Kernel Written In Ada

[phoronix]

Phoronix: Genode OS Draws Up 2020 Plans Of USB Audio, A Kernel Written In Ada

The Genode operating system framework that's been going strong for over a decade and continuing to employ a micro-kernel architecture continues to plan for an interesting future...

http://www.phoronix.com/scan.php?pag...S-2020-Roadmap

[uid313]

With a kernel written in Ada/SPARK it could be extremely safe, secure and reliable.
Other interesting kernels include Zircon used in the Fuschia operating system by Google.
Other interesting kernels also include seL4 by NICTA.
The F-35 Lightning II uses the proprietary INTEGRITY-178B operating system by Green Hills Software.

[starshipeleven]

The F-35 Lightning II uses the proprietary INTEGRITY-178B operating system by Green Hills Software.

That's not a particularly successful project, and someone calling a safety OS "integrity" reminds me of Oracle's "unbreakable" kernel.

[uid313]

That's not a particularly successful project, and someone calling a safety OS "integrity" reminds me of Oracle's "unbreakable" kernel.

INTEGRITY-178B is also used by the F-22 Raptor. As well as the Tactical Robotics Cormorant (aka AirMule).

[Mavman]

With a kernel written in Ada/SPARK it could be extremely safe, secure and reliable.
Other interesting kernels include Zircon used in the Fuschia operating system by Google.
Other interesting kernels also include seL4 by NICTA.

seL4 is already supported.

But please... don't throw any google'ed things into the mix.
They're mostly spyware ahahahah.

What i think they're really missing is a decent GUI... something similar to LXQt would be awesome... but it's apparently still years away...

[starshipeleven]

INTEGRITY-178B is also used by the F-22 Raptor. As well as the Tactical Robotics Cormorant (aka AirMule).

That's better, although I still find the name to be too pompous.

[Kayote]

hey Michael this is out off topic. But I wanted to know if AMD sent you a 5600xt since the launch day is today. thanks.

[oleid]

With a kernel written in Ada/SPARK it could be extremely safe, secure and reliable.
Other interesting kernels include Zircon used in the Fuschia operating system by Google.
Other interesting kernels also include seL4 by NICTA.
The F-35 Lightning II uses the proprietary INTEGRITY-178B operating system by Green Hills Software.

How about redox kernel? Not really sure how it compares to other microkernels en detail, though. The project, however, seems interesting to me, since they are close to self-hosting on bare metal [1].

[1] https://www.redox-os.org/news/focusing-on-rustc/

[uid313]

How about redox kernel? Not really sure how it compares to other microkernels en detail, though. The project, however, seems interesting to me, since they are close to self-hosting on bare metal [1].

[1] https://www.redox-os.org/news/focusing-on-rustc/

Yes, it is also another interesting kernel!
Rust have good type safety and good null handling, so it should be possible to create a system that could be more robust than one created in C.

[NotMine999]

How about a kernel written in Rust? That should be safe ... right? /sarcasm