SeL4

http://dbpedia.org/resource/SeL4

rdfs:label

rdf:langString SeL4

dbpedia-owl:wikiPageID

xsd:integer 24477249

dbpedia-owl:wikiPageRevisionID

xsd:integer 827003792

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 91

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/L4_microkernel_family>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/L4_microkernel_family>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:R_to_section>

<http://dbpedia.org/resource/Template:Rcat_shell>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/SeL4?oldid=827003792&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/SeL4>

data from the linked data cloud