Re:Andrew S. Tanenbaum Receives ACM Software System Award
by looperhacks on Saturday June 22, 2024 @02:17PM
(#40760986)
The original L4 (I believe) wasn't commercially available und sel4 is GPL licensed. Minix has a BSD license, so maybe that's why
[ Parent
| on HN ]
Re:Andrew S. Tanenbaum Receives ACM Software System Award
by LeFantome on Saturday June 22, 2024 @03:53PM
(#40761656)
100% because of the license
Re:Andrew S. Tanenbaum Receives ACM Software System Award
by Rochus on Saturday June 22, 2024 @06:09PM
(#40762639)
The original L4 was written in assembler and replaced by different other implementations long before the ME platform was developed. Pistachio was in development around that time and available under BSD.