News for hackers. Stuff that matters.

A comment on 10 Years SeL4: Still the Best, Still Getting Better. Parent comment

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.

[ Parent | on HN ]
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.
[ Parent | on HN ]
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.

[ Parent | on HN ]