News for hackers. Stuff that matters.
Re:ACM Software System Award Given to seL4 Microkernel by bee_rider on Saturday May 06, 2023 @02:04PM (#35843780)
It looks like there’s a good bit of industry energy behind this stuff (defense contractors and intelligence agencies don’t want their side’s stuff broken into). So I don’t think this is one of those “Apple takes from the little guy and doesn’t contribute back” stories.

There are no comments on this comment yet.