undefined | Better HN

0 pointslooperhacks1y ago0 comments

The original L4 (I believe) wasn't commercially available und sel4 is GPL licensed. Minix has a BSD license, so maybe that's why

0 comments

Rochus1y ago

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.

LeFantome1y ago

100% because of the license

j / k navigate · click thread line to collapse

0 pointslooperhacks1y ago0 comments

The original L4 (I believe) wasn't commercially available und sel4 is GPL licensed. Minix has a BSD license, so maybe that's why

0 comments

Rochus1y ago

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.

LeFantome1y ago

100% because of the license

j / k navigate · click thread line to collapse