News for hackers. Stuff that matters.
Re:10 Years SeL4: Still the Best, Still Getting Better by wmf on Tuesday August 06, 2019 @04:34PM (#20629315)
Technically, a capability-based desktop OS makes perfect sense. In practice, the microkernel people have been polishing their kernels and about to start on userspace next year... for 30 years.

(One exception to this is QNX which was killed off by weird business decisions.)

Re:10 Years SeL4: Still the Best, Still Getting Better by flo123456 on Wednesday August 07, 2019 @01:39AM (#20632225)
Take a look at Genode. It‘s come quite far in that regard.

https://genode.org/

Re:10 Years SeL4: Still the Best, Still Getting Better by pjmlp on Tuesday August 06, 2019 @05:48PM (#20630025)
My Android devices running userspace drivers written in a mix of Java and C++ thanks to Project Treble seem like a step into the right direction.

Or the new userspace device driver model introduced by Catalina. As per WWDC, for every new user space driver API, the old kernel one will be automatically marked as legacy and removed after one OS release, with the long term roadmap to replace all the kernel API extensions.

Just like Windows 10 increases the amount of sandboxing with each bi-annual release.

Re:10 Years SeL4: Still the Best, Still Getting Better by StudentStuff on Tuesday August 06, 2019 @06:51PM (#20630464)
Userspace drivers permit upgrading the kernel to a certain point (depending on how kernel APIs change), but your forever trapped with the bugs and vulnerabilities in the userspace blobs.

Its a step forward in kernel upgradability, but it also takes the pressure off vendors like Qualcomm and ARM to upstream their patches. I hope the kernel continues making significant changes that break out of tree, proprietary drivers.

The harder it is for these players to act in bad faith, the sooner they'll collaborate with the kernel developers and mainline their code.

Re:10 Years SeL4: Still the Best, Still Getting Better by pjmlp on Wednesday August 07, 2019 @01:17AM (#20632142)
As proven by every other OS with proper driver ABI, this isn't an issue.

And as proven by FOSS drivers that eventually got purged from kernel tree, having source available is meaningless if everyone just lets the code rotten to the point of being purged.

As for pressuring vendors, the source code is available, and the license allows them to never upstream, it isn't as if Joe and Jane know what that is when buying a new phone.

Re:10 Years SeL4: Still the Best, Still Getting Better by StudentStuff on Wednesday August 07, 2019 @10:06PM (#20641177)
Windows has had multiple breaking changes to the driver ABI between Windows XP and present. There is no "proper" futureproof driver ABI, otherwise there would be a major OS using one.
Re:10 Years SeL4: Still the Best, Still Getting Better by pjmlp on Thursday August 08, 2019 @12:46AM (#20641922)
In almost 40 years, there were two breaking changes from 9X to NT family, from XP to Vista.

Two. Linux? Who's counting anyway.

Re:10 Years SeL4: Still the Best, Still Getting Better by wmf on Tuesday August 06, 2019 @07:16PM (#20630608)
What if we pressure Qualcomm and ARM for 20 years but they still don't upstream anything? What about 50 years? Would you change your position?
Re:10 Years SeL4: Still the Best, Still Getting Better by StudentStuff on Wednesday August 07, 2019 @10:10PM (#20641195)
So long as they're spending most of their cash on maintaining out of tree patchesets for the Linux kernel, that is tens to hundreds of millions a year in wasted money on their part.

Eventually the community will write their own drivers (as has happened with Mali) and the respective vendor will have a reckoning internally (like what happened with AMD's GPU driver) whereby those advocating for wasting money on out of tree code leave the organization with egg on their face for bilking the company out of significant R&D cash.

It is very hard to claim that its worth it to develop a proprietary driver when a comparable performance driver already exists for your hardware in-tree. The in-tree driver will almost certainly be easier to use & break less often than out of tree code that the kernel devs don't think or care about breaking.

Re:10 Years SeL4: Still the Best, Still Getting Better by ac29 on Tuesday August 06, 2019 @11:06PM (#20631687)
> QNX which was killed off

Are you sure? The latest version is only ~2 years old, and they still seem to be hiring: https://bb.wd3.myworkdayjobs.com/QNX

Re:10 Years SeL4: Still the Best, Still Getting Better by Matthias247 on Wednesday August 07, 2019 @10:20AM (#20634888)
I was in the automotive industry. 10 years ago every infotainment System I had seen was either built on QNX or windows CE. When I left the industry later all systems I interacted with had moved to Linux. Why? Driver and off the shelf application support was a big reason. For QNX every driver had been ported, which is a huge task for something like a modern GPU.
Re:10 Years SeL4: Still the Best, Still Getting Better by wmf on Wednesday August 07, 2019 @12:01AM (#20631895)
It looks like the desktop version of QNX was killed off in 2014 although they stopped promoting it much earlier.
Re:10 Years SeL4: Still the Best, Still Getting Better by ahartmetz on Wednesday August 07, 2019 @03:36AM (#20632668)
There are some in-car infotainment systems and dashboards running on QNX. It's a fairly pleasant system to work with.
Re:10 Years SeL4: Still the Best, Still Getting Better by garmaine on Tuesday August 06, 2019 @10:22PM (#20631496)
And Minix which runs inside every Intel CPU.