News for hackers. Stuff that matters.
Re:The Red Hat model only worked for Red Hat by bregma on Monday April 17, 2023 @02:01PM (#35604239)
There is no safety-certified Linux. As far as I know there was no safety-certified QNX 6 either (QOS 1.0 was based on QNX 6.5 SP1, which is not the same as QNX 6 despite the numbers looking eerily similar).

With a safety-certified system, you do not receive a patch because it violates the safety certification. Of course, you can get a patch and use it but then you're responsible for safety-certifying the entire stack including the closed-source vendor code, and best of luck.

Re:The Red Hat model only worked for Red Hat by murdoze on Wednesday April 19, 2023 @06:38AM (#35626523)
Without this patch QNX was simply not usable, since it had a random race condition in the kernel, which just broke everything.

They have incorporated the patch into some QNX 6.5 version, but we had to deliver the product long before they did this.