seL4?
-
-
Replying to @BenLaurie @bcrypt
Did you try it? Can it run Linux drivers? Linux Apps? Support modern hardware, including S3 sleep? Properly parse DMAR and setup VT-d?
3 replies 0 retweets 2 likes -
Replying to @rootkovska @bcrypt
BTW, "can run Linux drivers" is not top of my list for "is secure". Can run Linux apps, tho, coz you can run Linux as a guest. Allegedly.
1 reply 1 retweet 0 likes -
Running Linux drivers is not a problem as long as you don't put them in the kernel, & enforce IOMMU on the hardware they drive.
1 reply 0 retweets 0 likes -
Replying to @RichFelker @BenLaurie and
That's actually what I have in mind for my eventual kernel replacement - drivers are heavily sandboxed user processes linked to fake Linux.
5 replies 1 retweet 4 likes -
QNX drivers were user processes. I really liked that model.
3 replies 0 retweets 0 likes -
Ability to reuse existing widespread drivers is a must for any OS project if they want to support even moderate amount of COTS hardware.
2 replies 0 retweets 2 likes -
Absolutely. It's utterly stupid for an OS/kernel project to try to NIH drivers for everything.
1 reply 0 retweets 0 likes -
Replying to @RichFelker @rootkovska and
Unfortunately this leaves us stuck emulating the Linux kernel-internal driver APIs or similar.
1 reply 0 retweets 0 likes -
Replying to @RichFelker @rootkovska and
That's the route Genode took with dde_linux right? https://genode.org/documentation/developer-resources/porting_device_drivers …
1 reply 0 retweets 1 like
Thanks for the link! Even better that source compat might be loading the .ko ELF files in user processes tho.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.