About: L4 microkernel family

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

Family of second-generation microkernels

Property	Value
dbo:description	Software (de) perangkat lunak (in) програмне забезпечення (uk) family of second-generation microkernels (en) família de micronuclis de segona generació (ca) jádro operačního systému GNU Hurd NG (cs)
dbo:developer	dbr:Jochen_Liedtke
dbo:language	dbr:Germany
dbo:license	dbr:Programming_tool dbr:Formal_proof dbr:Library_(computing) dbr:Source_code
dbo:thumbnail	wiki-commons:Special:FilePath/L4_family_tree.svg?width=300
dbo:wikiPageExternalLink	http://dslab.lzu.edu.cn:8080/docs/publications/l4_kickstart.pdf http://genode.org/about/index http://l4ka.org/publications/ http://wiki.tudos.org/ https://sigops.org/s/conferences/sosp/2013/talks/elphinstone_l3sel4_se03_03.pdf http://www.l4ka.org https://trustworthy.systems http://www.cse.unsw.edu.au/~disy/L4/ http://os.inf.tu-dresden.de/L4/ https://web.archive.org/web/20060905181634/http:/www.l4ka.org/publications/ https://web.archive.org/web/20080820043831/http:/okl4.org/ https://web.archive.org/web/20090319021316/http:/www.ok-labs.com/ https://web.archive.org/web/20120327161621/http:/dslab.lzu.edu.cn:8080/docs/publications/l4_kickstart.pdf https://web.archive.org/web/20140717185304/http:/www.ertos.nicta.com.au/research/l4/ https://web.archive.org/web/20191025002913/http:/www.l4hq.org/ https://dl.acm.org/doi/abs/10.1145/122120.122124
dbo:wikiPageWikiLink	dbr:University_of_New_South_Wales dbr:PikeOS dbc:Assembly_language_software dbr:I386 dbr:University_of_Minnesota dbr:Functional_programming dbr:X86-64 dbr:Jochen_Liedtke dbr:Rockwell_Collins dbr:Monolithic_kernel dbr:Common_Criteria dbr:Eumel dbr:C++ dbr:Real-time_computing dbr:Compiler dbr:Microkernel dbr:Programming_tool dbr:Unix-like dbr:Open-source_license dbr:API dbr:Assembly_language dbr:Itanium dbr:Deadlock dbr:Capability-based_security dbr:Interrupt_latency dbr:Apple_A_series dbr:Device_driver dbr:Android_(operating_system) dbr:Boeing dbr:Germany dbr:Linux dbr:Open-source_software dbr:Karlsruhe_Institute_of_Technology dbr:University_of_Karlsruhe dbr:BSD_licenses dbr:Embedded_system dbr:Virtual_machine dbr:Real-time_operating_system dbr:Thread_(computing) dbr:Hypervisor dbr:Uninitialized_variable dbr:Gernot_Heiser dbr:GNU_General_Public_License dbr:Kernel_(operating_system) dbr:Operating_system dbr:Computer_security dbr:Cross-platform_software dbr:MIPS_architecture dbr:Trusted_computing_base dbr:Formal_proof dbr:Robustness_(computer_science) dbr:ARM_Cortex-M dbr:C_(programming_language) dbc:Microkernels dbr:Mach_(kernel) dbr:Mobile_phone dbr:POSIX dbr:SPARC dbr:Scheduling_(computing) dbr:IA-32 dbr:IBM dbr:Computer_scientist dbr:Library_(computing) dbr:Worst-case_execution_time dbr:Source_code dbr:DARPA dbr:Software_license dbr:Automotive_infotainment dbr:XScale dbc:Capability_systems dbr:CPU_cache dbr:Thomas_J._Watson_Research_Center dbr:Inter-process_communication dbr:Barrelfish_(operating_system) dbr:L4Linux dbr:Formal_verification dbr:Nvidia dbr:X86 dbr:Boeing_AH-6 dbr:Open_Kernel_Labs dbr:Coprocessor dbr:DEC_Alpha dbr:Linux_Foundation dbr:Dresden_University_of_Technology dbr:Application_binary_interface dbr:Buffer_overflow dbr:Interface_(computing) dbr:Machine_code dbr:Address_space dbr:Qualcomm dbr:NICTA dbr:Source_lines_of_code dbr:Alien_thread dbr:General_availability dbr:User_space dbr:John_Launchbury dbr:Mobile_Station_Modem dbr:Haskell_(programming_language) dbr:Wombat_(operating_system) dbr:Working_set dbr:ARM_architecture dbr:Apple_A7 dbr:Closed_source dbr:Technischer_Überwachungsverein dbr:GPL_3 dbr:General_Dynamics_C4_Systems dbr:Small_Business_Innovative_Research dbr:Livelock dbr:SymbianOS dbr:Middle-out dbr:Executable_specification dbr:File:L4_family_tree.png
dbp:developer	dbr:Jochen_Liedtke
dbp:family	L4 (en)
dbp:kernelType	dbr:Microkernel
dbp:language	English, German (en)
dbp:license	dbr:Programming_tool dbr:BSD_licenses dbr:GNU_General_Public_License dbr:Formal_proof dbr:Library_(computing) dbr:Source_code
dbp:marketingTarget	Reliable computing (en)
dbp:name	L4 microkernel family (en)
dbp:precededBy	dbr:Eumel
dbp:programmedIn	Assembly language, then C, C++ (en)
dbp:sourceModel	dbr:Proprietary_software dbr:Open-source_software
dbp:supportedPlatforms	Intel i386, x86, x86-64, ARM, MIPS, SPARC, Itanium, RISC-V (en)
dbp:wikiPageUsesTemplate	dbt:Start_date_and_age dbt:Reflist dbt:Cite_journal dbt:URL dbt:Cite_conference dbt:Infobox_OS dbt:R_to_section dbt:Use_dmy_dates dbt:Official_website dbt:As_of dbt:Citation_needed dbt:Cite_report dbt:Linux_Foundation dbt:Webarchive dbt:Object-capability_security dbt:Microkernel dbt:Short_description dbt:Rwh
dbp:workingState	Current (en)
dct:subject	dbc:Assembly_language_software dbc:Microkernels dbc:Capability_systems
gold:hypernym	dbr:Family
rdf:type	owl:Thing wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	L4 microkernel family (en) L3 microkernel (en) L4 (microkernel) (ca) L4 (jádro) (cs) L4 (Mikrokernel) (de) L4 (micronúcleo) (es) Micronoyau L4 (fr) L4マイクロカーネルファミリー (ja) L4 (informatyka) (pl) L4 (micronúcleo) (pt) L4 (микроядро) (ru) L4微内核系列 (zh)
owl:sameAs	freebase:L4 microkernel family wikidata:L4 microkernel family dbpedia-de:L4 microkernel family dbpedia-fr:L4 microkernel family dbpedia-zh:L4 microkernel family dbpedia-ja:L4 microkernel family dbpedia-pt:L4 microkernel family dbpedia-es:L4 microkernel family dbpedia-fa:L4 microkernel family dbpedia-ru:L4 microkernel family dbpedia-pl:L4 microkernel family dbpedia-ca:L4 microkernel family dbpedia-cs:L4 microkernel family dbpedia-no:L4 microkernel family dbpedia-global:L4 microkernel family dbr:L4 microkernel family
prov:wasDerivedFrom	wikipedia-en:L3_microkernel?oldid=817141684&ns=0 wikipedia-en:L4_microkernel_family?oldid=1292127726&ns=0
foaf:depiction	wiki-commons:Special:FilePath/L4_family_tree.svg
foaf:homepage	http://sel4.systems http://sel4.systems
foaf:isPrimaryTopicOf	wikipedia-en:L3_microkernel wikipedia-en:L4_microkernel_family
foaf:name	L4 microkernel family (en)
is dbo:knownFor of	dbr:Jochen_Liedtke
is dbo:wikiPageRedirects of	dbr:L3_microkernel dbr:L3_microkernel dbr:L3_(operating_system) dbr:L4/Fiasco dbr:L4_(microkernel) dbr:L4_kernel dbr:L4_microkernel dbr:L4sec dbr:OKL4 dbr:Fiasco_(L4_clone) dbr:Liedtke_3 dbr:SeL4
is dbo:wikiPageWikiLink of	dbr:PikeOS dbr:Pistachio_(disambiguation) dbr:Capability-based_operating_system dbr:Redox_(operating_system) dbr:Jochen_Liedtke dbr:Isabelle_(proof_assistant) dbr:List_of_operating_systems dbr:Eumel dbr:GNU_Hurd dbr:Openmoko dbr:Microkernel dbr:Comparison_of_open-source_operating_systems dbr:UNSW_School_of_Computer_Science_and_Engineering dbr:Capability-based_security dbr:EROS_(microkernel) dbr:Paravirtualization dbr:L4 dbr:OpenVMS dbr:Hypervisor dbr:Multiboot_specification dbr:Spring_(operating_system) dbr:Kernel_(operating_system) dbr:Fiasco dbr:List_of_programmers dbr:ARM_architecture_family dbr:Darwin_(operating_system) dbr:Mach_(kernel) dbr:X86_virtualization dbr:L4Linux dbr:Formal_verification dbr:IGUANA_Computing dbr:Open_Kernel_Labs dbr:DEC_Alpha dbr:Linux_Foundation dbr:Comparison_of_operating_system_kernels dbr:Security-focused_operating_system dbr:List_of_computer_scientists dbr:Quark_(kernel) dbr:RC_4000_multiprogramming_system dbr:REX_OS dbr:Genode dbr:Apple_T2 dbr:VirtualLogix dbr:Wombat_(operating_system) dbr:L3_microkernel dbr:List_of_important_publications_in_computer_science dbr:L3_(operating_system) dbr:L4/Fiasco dbr:L4_(microkernel) dbr:L4_kernel dbr:L4_microkernel dbr:L4sec dbr:OKL4 dbr:Fiasco_(L4_clone) dbr:Liedtke_3 dbr:SeL4
is dbp:family of	dbr:PikeOS dbr:Eumel dbr:Wombat_(operating_system)
is dbp:knownFor of	dbr:Jochen_Liedtke
is dbp:succeededBy of	dbr:Eumel
is foaf:primaryTopic of	wikipedia-en:L3_microkernel wikipedia-en:L4_microkernel_family