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.
[ Parent
| on HN ]
There are no comments on this comment yet.