Lions OS: secure – fast – adaptable
trustworthy.systems
Lions OS: secure – fast – adaptable
1–10 of 64 posts
Re: Lions OS: secure – fast – adaptable
#2hope this message gets reminded in 10yrs as the email Linus announcing his toy kernel.
Re: Lions OS: secure – fast – adaptable
#3Where's the talk. On their web site there are only slides.
Re: Lions OS: secure – fast – adaptable
#4Seems to be this:
https://github.com/au-ts/lionsos
> LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle.
Re: Lions OS: secure – fast – adaptable
#5Where's the talk. On their web site there are only slides.
the talk link will appear as soon as Everything Open uploads it
Re: Lions OS: secure – fast – adaptable
#6Question: under what circumstances would I ever want to use this OS, over Linux or MacOS or Windows?
Re: Lions OS: secure – fast – adaptable
#7Question: under what circumstances would I ever want to use this OS, over Linux or MacOS or Windows?
I've been waiting for a system like this for over a decade to use as my daily driver. An OS that runs with a capability model like this is immune to whole classes of security exploits that guarantee Linux, Windows, MacOS, etc. will never be secure.
I was hoping Genode would get there sooner, and GNU Hurd should have gotten there years ago.
Capabilities are the computing version of circuit breakers. They make it possible to run code without having to trust it. You can't do that with Linux, Windows, MacOS, et al. MULTICS could do it, but it was deemed too complex, at the time.
Re: Lions OS: secure – fast – adaptable
#8Question: under what circumstances would I ever want to use this OS, over Linux or MacOS or Windows?
I've been waiting for a system like this for over a decade to use as my daily driver. An OS that runs with a capability model like this is immune to whole classes of security exploits that guarantee Linux, Windows, MacOS, etc. will never be secure. I was hoping Genode would get there sooner, and GNU Hurd should have gotten there years ago. Capabilities are the computing version of circuit breakers. They make it possi…
Do you know if there is anything like that which can run OCI containers/lightweight VMs? I would love that as daily driver too for the same reasons, but realistically will have to run various Linux apps to be productive, so those could go into shortlived isolated sandboxes ala distrobox.
Re: Lions OS: secure – fast – adaptable
#9Seems to be this: https://www.lionsos.org/ https://github.com/au-ts/lionsos > LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performa…
What, pray tell, are “cyberphysical” systems?
Re: Lions OS: secure – fast – adaptable
#10Seems to be this: https://www.lionsos.org/ https://github.com/au-ts/lionsos > LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performa…
What, pray tell, are “cyberphysical” systems?
https://www.google.com/search?q=cyber+physical+systems
Factory equipment, vehicles, drones, power grids, medical robots, HVAC, … the list goes on.