This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-globalhttps://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

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