<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://dbpedia.org/ontology/location>	<http://dbpedia.org/resource/Chicago> .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://xmlns.com/foaf/0.1/name>	"Open Kernel Labs"@en .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://dbpedia.org/ontology/keyPerson>	<http://dbpedia.org/resource/Gernot_Heiser> .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://dbpedia.org/ontology/type>	<http://dbpedia.org/resource/Privately_held_company> .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://dbpedia.org/ontology/product>	<http://dbpedia.org/resource/Hypervisor> .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://xmlns.com/foaf/0.1/homepage>	<http://gdmissionsystems.com/open-kernel-labs/> .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://dbpedia.org/ontology/foundingYear>	"2006Z"^^<http://www.w3.org/2001/XMLSchema#gYear> .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Open Kernel Labs (OK Labs) is a privately owned company that develops microkernel-based hypervisors and operating systems for embedded systems. The company was founded in 2006 by Steve Subar and Gernot Heiser as a spinout from NICTA.  It is headquartered in Chicago, while research and development was located in Sydney, Australia. The company was acquired by General Dynamics in September 2012."@en .
<http://dbpedia.org/resource/Open_Kernel_Labs>	<http://dbpedia.org/ontology/fate>	"Acquired byGeneral Dynamics C4 Systems"@en .