About: Separation kernel

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Type of computer kernel

Property	Value
dbo:description	type of computer kernel (en)
dbo:wikiPageWikiLink	dbr:PikeOS dbc:Distributed_computing dbr:Common_Criteria dbr:Central_processing_unit dbr:National_Security_Agency dbr:Aerospace_manufacturer dbr:Real-time_operating_system dbr:Green_Hills_Software dbr:Integrity_(operating_system) dbc:Operating_system_kernels dbr:Chroot dbr:Lynx_Software_Technologies dbr:FreeBSD_jail dbr:Multiple_Independent_Levels_of_Security dbr:LynxSecure dbr:Wind_River_Systems dbr:Mixed_criticality dbr:John_Rushby dbr:Operating-system-level_virtualization dbr:Kernel_(computer_science) dbr:SeL4
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Operating_system dbt:Short_description
dct:subject	dbc:Distributed_computing dbc:Operating_system_kernels
gold:hypernym	dbr:Kernel
rdfs:label	Separation kernel (en)
owl:sameAs	freebase:Separation kernel yago-res:Separation kernel wikidata:Separation kernel dbpedia-global:Separation kernel dbr:Separation kernel
prov:wasDerivedFrom	wikipedia-en:Separation_kernel?oldid=1267408782&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Separation_kernel
is dbo:wikiPageWikiLink of	dbr:PikeOS dbr:Multiple_single-level dbr:Objective_Interface_Systems dbr:XtratuM dbr:OS-level_virtualization dbr:Lynx_Software_Technologies dbr:Rump_kernel dbr:Timeline_of_operating_systems dbr:Multiple_Independent_Levels_of_Security dbr:LynxSecure dbr:Embedded_hypervisor
is foaf:primaryTopic of	wikipedia-en:Separation_kernel

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International