About: http://webisa.webdatacommons.org/41072688

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	L4 is a microkernel which comes dangerously close to also being an exokernel, but even L4 provides some abstractions which I think you will agree are necessary to make a working system.
http://www.w3.org/ns/prov#wasQuotedFrom	c2.com