L4 microkernel family (original) (raw)
L4 ist der Name einer Familie von Mikrokerneln, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). L4 gilt als ein Mikrokernel der zweiten Generation, der das Problem des zu langsamen Interkommunikationsprozesses der ersten Mikrokernel-Generation nicht mehr aufweist (zur ersten Generation zählt u. a. Mach). Ein weiterer Mikrokernel der zweiten Generation ist z. B. QNX.
| Property | Value |
|---|---|
| dbo:abstract | L4 és una família de micronuclis de segona generació basada en els dissenys i implementacions originals de l'informàtic alemany Jochen Liedtke. Originalment implementada en codi assemblador altament afinat per a processadors Intel i386, l'API ha patit grans desenvolupaments en diverses direccions, tant buscant un nivell més alt d'independència de plataforma com millorant seguretat, aïllament i robustesa. Hi ha hagut diverses implementacions de la interfície binària del nucli L4 i els seus successors de més alt nivell, incloent-hi L4Ka :: Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) i Fiasco (TU Dresden). Per això, el nom L4 ja no es refereix únicament a la implementació original de Liedtke, sinó que s'aplica a tota la família de micronuclis que inclouen la interfície del nucli L4 i les seves diferents versions. (ca) L4 je rodina mikrojader druhé generace nejčastěji používaných pro implementaci un*xových operačních systémů, ale používaných také v různých jiných systémech. L4 byl stejně jako jeho předchůdce vytvořen německým počítačovým vědcem Jochenem Liedtkem jako odpověď na slabý výkon raných mikrojaderných operačních systémů. Liedtke se domníval, že mikrojádro použitelné pro praxi vznikne spíše na základě systému navrženého pro vysoký výkon, než na základě systému navrženého pro jiné cíle. Jeho původní implementace v ručně psaném assembleru procesoru Intel 80386 vyvolala v počítačovém průmyslu značný zájem. L4 byl už od svého uvedení vyvíjen s důrazem na bezpečnost, izolaci procesů a . Mikrojádro L4 se dočkalo nejrůznějších reimplementací původního binárního rozhraní (ABI) a vzniklo tak mimo jiné L4Ka::Hazelnut a L4Ka::Pistachio, L4/Alpha a L4/MIPS a L4/Fiasco (Technická univerzita Drážďany). Z tohoto důvodu je název L4 vnímán obecněji a je nyní používán pro celou rodinu mikrojader zahrnující různé verze jaderného rozhraní. L4 je široce rozšířeno. Jedné varianty, OKL4 od , bylo prodáno v miliardách mobilních zařízení. (cs) L4 ist der Name einer Familie von Mikrokerneln, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). L4 gilt als ein Mikrokernel der zweiten Generation, der das Problem des zu langsamen Interkommunikationsprozesses der ersten Mikrokernel-Generation nicht mehr aufweist (zur ersten Generation zählt u. a. Mach). Ein weiterer Mikrokernel der zweiten Generation ist z. B. QNX. (de) L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable Operating System Interface (POSIX) compliant types. L4, like its predecessor microkernel , was created by German computer scientist Jochen Liedtke as a response to the poor performance of earlier microkernel-based OSes. Liedtke felt that a system designed from the start for high performance, rather than other goals, could produce a microkernel of practical use. His original implementation in hand-coded Intel i386-specific assembly language code in 1993 sparked intense interest in the computer industry. Since its introduction, L4 has been developed to be cross-platform and to improve security, isolation, and robustness. There have been various re-implementations of the original binary L4 kernel application binary interface (ABI) and its successors, including L4Ka::Pistachio (Karlsruhe Institute of Technology), L4/MIPS (University of New South Wales (UNSW)), Fiasco (Dresden University of Technology (TU Dresden)). For this reason, the name L4 has been generalized and no longer refers to only Liedtke's original implementation. It now applies to the whole microkernel family including the L4 kernel interface and its different versions. L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices. (en) L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels. L’idée générale de L4 est ainsi résumée par Liedtke lui-même : « un concept est toléré au sein du micronoyau seulement si son déplacement à l'extérieur du noyau, c'est-à-dire permettre des implémentations alternatives, empêcherait la mise en œuvre d'une fonctionnalité nécessaire au système. » (fr) L4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la API ha sufrido grandes desarrollos en varias direcciones, tanto buscando un nivel más alto de independencia de plataforma como mejorando seguridad, aislamiento y robustez. Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden). Por esta razón, el nombre L4 ya no se refiere únicamente a la implementación original de Liedtke, sino que se aplica a toda la familia de micronúcleos que incluyen la interfaz del núcleo L4 y sus diferentes versiones. (es) L4マイクロカーネルファミリーは第二世代マイクロカーネルのファミリーで、一般的にはUnix系のオペレーティングシステムの実装に使われるが他の様々なシステムにも使われる。前身のL3マイクロカーネルと同じように、ドイツのコンピュータ科学者ヨッヘン・リートケによってそれ以前のマイクロカーネルベースのオペレーティングシステムの性能の低さを解決する答えとしてL4は作られた。リートケは性能を最優先に設計したシステムであれば実用的なマイクロカーネルを作ることができるのではないかと考えた。彼のインテルi386のアセンブリ言語でハードコードした最初の実装はコンピュータ産業界の関心を引いた。これを始めとしてL4はプラットフォーム非依存、セキュリティの改善、分離、堅牢性に向けた開発が行われた。 オリジナルのL4カーネルインターフェース(ABI)やその後継がいくつも再実装されている。L4KA::Pistachio(カールスルーエ工科大学)、 L4/MIPS(ニューサウスウェールズ大学)、 Fasco，WrmOS(WrmLab)などがある。このためL4はリートケの最初の実装だけを指すのではなくファミリーの名前になっている。現在ではオリジナルのL4とその改良版のカーネルインターフェースを持つマイクロカーネルファミリーが該当する。L4は広く開発が行われている。一つのバリエーションであるOKL4は(現 ジェネラル・ダイナミクス・ミッション・システムズ)で開発され数十億台のモバイル機器に使われた。 (ja) L4 – architektura mikrojądra stworzona przez nieżyjącego już , z implementacjami na x86 (oryginalne L4 i Fiasco) oraz MIPS i Alpha. Mikrojądra oparte na L4 są znacznie bardziej wydajne od mikrojąder rodziny Mach. Istnieją korzystające z L4 modyfikacje popularnych jąder monolitycznych, m.in. oparte na Linuksie L4Linux i Wombat. Planowano również przeniesienie GNU Hurd na L4. (pl) A família L4 é uma família de micronúcleos de segunda geração baseada nos projetos e implementações originais do cientista da computação alemão Jochen Liedtke. Foi originalmente implementada como código de montagem extremamente otimizado específico do Intel i386, a interface de programação de aplicativos recebeu desenvolvimento extensivo em várias direções, ambas em obter um nível de e também em melhorar a , isolação e robustez. Há várias reimplementações da interface de núcleo binária original do micronúcleo L4 (interface binária de aplicação) e seus sucessores de alto nível, incluindo L4Ka::Pistachio, L4/MIPS e Fiasco. Por essa razão, o nome L4 foi generalizado e não se refere mais à implementação original de Liedtke. Ele serve para toda a família de micronúcleos, incluindo a interface do L4 e suas diferentes versões. O L4 é usado em produções de . (pt) L4 — микроядро второго поколения, разработанное Йохеном Лидтке в 1993 году. Архитектура микроядра L4 оказалась успешной. Было создано множество реализаций ABI и API микроядра L4. Все реализации стали называть семейством микроядер L4. Реализация Лидтке неофициально была названа «L4/x86». (ru) L4是一種微内核构架的作業系統内核，最初由約亨·李德克（Jochen Liedtke）设计，前身為L3微內核。在最开始，L4只是一个由約亨·李德克设计并实现的单一的产品，用于Intel i386上的一个高度优化内核。L4微内核系统由于其出色的性能和很小的体积而开始被计算机工业所认知。随后，L4的系统在多个方面上有了高速的发展，值得提及的是一个更加独立于硬件平台的版本，被称为Pistachio，之后又被移植到了许多不同的硬件构架上。现在已经形成一个微内核家族，包括，，与。 (zh) |
| dbo:developer | dbr:Jochen_Liedtke |
| dbo:language | dbr:Germany |
| dbo:license | dbr:Library_(computing) dbr:Formal_proof dbr:Source_code dbr:Programming_tool |
| dbo:thumbnail | wiki-commons:Special:FilePath/L4_family_tree.png?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 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 http://www.cse.unsw.edu.au/~disy/L4/ http://os.inf.tu-dresden.de/L4/ http://www.l4ka.org https://trustworthy.systems |
| dbo:wikiPageID | 95763 (xsd:integer) |
| dbo:wikiPageLength | 39865 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124849404 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Qualcomm dbr:Rockwell_Collins dbr:Monolithic_kernel dbr:Barrelfish_(operating_system) dbr:Boeing dbr:Alien_thread dbr:Apple_A7 dbr:Application_binary_interface dbr:University_of_Karlsruhe dbr:University_of_Minnesota dbr:University_of_New_South_Wales dbr:Unix-like dbr:User_space dbr:Deadlock dbr:Device_driver dbr:Interface_(computing) dbr:Interrupt_latency dbr:Library_(computing) dbr:Compiler dbr:Computer_security dbr:SPARC dbr:Technischer_Überwachungsverein dbr:GNU_General_Public_License dbr:Germany dbr:Gernot_Heiser dbr:Mobile_phone dbr:NICTA dbr:Coprocessor dbr:Cross-platform_software dbr:Android_(operating_system) dbr:Apple_A_series dbr:Linux dbr:Linux_Foundation dbr:Livelock dbr:MIPS_architecture dbr:Mach_(kernel) dbr:Boeing_AH-6 dbr:Common_Criteria dbr:Computer_scientist dbr:Embedded_system dbr:Functional_programming dbr:Closed_source dbr:John_Launchbury dbr:Kernel_(operating_system) dbr:Trusted_computing_base dbr:Microkernel dbr:BSD_licenses dbc:Assembly_language_software dbr:C++ dbr:CPU_cache dbr:C_(programming_language) dbr:Address_space dbr:ARM_architecture dbr:DARPA dbr:DEC_Alpha dbr:Eumel dbr:Formal_verification dbr:POSIX dbr:Formal_proof dbr:Machine_code dbr:Source_code dbr:General_availability dbr:Real-time_computing dbr:Real-time_operating_system dbr:Haskell_(programming_language) dbr:Itanium dbr:Hypervisor dbr:Assembly_language dbr:API dbr:ARM_Cortex-M dbc:Microkernels dbr:Jochen_Liedtke dbr:Karlsruhe_Institute_of_Technology dbr:L4Linux dbr:Programming_tool dbr:Thread_(computing) dbr:Buffer_overflow dbc:Capability_systems dbr:PikeOS dbr:Source_lines_of_code dbr:IBM dbr:Inter-process_communication dbr:Nvidia dbr:Open-source_license dbr:Open-source_software dbr:Open_Kernel_Labs dbr:Operating_system dbr:Capability-based_security dbr:Wombat_(operating_system) dbr:X86 dbr:X86-64 dbr:General_Dynamics_C4_Systems dbr:Mobile_Station_Modem dbr:Virtual_machine dbr:Robustness_(computer_science) dbr:Thomas_J._Watson_Research_Center dbr:Worst-case_execution_time dbr:Uninitialized_variable dbr:I386 dbr:IA-32 dbr:Dresden_University_of_Technology dbr:XScale dbr:Software_license dbr:Scheduling_(computing) dbr:Working_set dbr:Automotive_infotainment dbr:Middle-out dbr:GPL_3 dbr:SymbianOS dbr:Small_Business_Innovative_Research 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:Library_(computing) dbr:GNU_General_Public_License dbr:BSD_licenses dbr:Formal_proof dbr:Source_code dbr:Programming_tool |
| 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:Closed_source dbr:Open-source_software |
| dbp:supportedPlatforms | Intel i386, x86, x86-64, ARM, MIPS, SPARC (en) |
| dbp:wikiPageUsesTemplate | dbt:As_of dbt:Citation_needed dbt:Cite_conference dbt:Cite_journal dbt:Cite_report dbt:Infobox_OS dbt:Official_website dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:URL dbt:Use_dmy_dates dbt:Webarchive dbt:Object-capability_security dbt:Microkernel |
| dbp:workingState | Current (en) |
| dct:subject | dbc:Assembly_language_software dbc:Microkernels dbc:Capability_systems |
| gold:hypernym | dbr:Family |
| rdf:type | owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 |
| rdfs:comment | L4 ist der Name einer Familie von Mikrokerneln, basierend auf Konzepten und ersten erfolgreichen Implementierungen von Jochen Liedtke (daher L4). L4 gilt als ein Mikrokernel der zweiten Generation, der das Problem des zu langsamen Interkommunikationsprozesses der ersten Mikrokernel-Generation nicht mehr aufweist (zur ersten Generation zählt u. a. Mach). Ein weiterer Mikrokernel der zweiten Generation ist z. B. QNX. (de) L4 – architektura mikrojądra stworzona przez nieżyjącego już , z implementacjami na x86 (oryginalne L4 i Fiasco) oraz MIPS i Alpha. Mikrojądra oparte na L4 są znacznie bardziej wydajne od mikrojąder rodziny Mach. Istnieją korzystające z L4 modyfikacje popularnych jąder monolitycznych, m.in. oparte na Linuksie L4Linux i Wombat. Planowano również przeniesienie GNU Hurd na L4. (pl) L4 — микроядро второго поколения, разработанное Йохеном Лидтке в 1993 году. Архитектура микроядра L4 оказалась успешной. Было создано множество реализаций ABI и API микроядра L4. Все реализации стали называть семейством микроядер L4. Реализация Лидтке неофициально была названа «L4/x86». (ru) L4是一種微内核构架的作業系統内核，最初由約亨·李德克（Jochen Liedtke）设计，前身為L3微內核。在最开始，L4只是一个由約亨·李德克设计并实现的单一的产品，用于Intel i386上的一个高度优化内核。L4微内核系统由于其出色的性能和很小的体积而开始被计算机工业所认知。随后，L4的系统在多个方面上有了高速的发展，值得提及的是一个更加独立于硬件平台的版本，被称为Pistachio，之后又被移植到了许多不同的硬件构架上。现在已经形成一个微内核家族，包括，，与。 (zh) L4 és una família de micronuclis de segona generació basada en els dissenys i implementacions originals de l'informàtic alemany Jochen Liedtke. Originalment implementada en codi assemblador altament afinat per a processadors Intel i386, l'API ha patit grans desenvolupaments en diverses direccions, tant buscant un nivell més alt d'independència de plataforma com millorant seguretat, aïllament i robustesa. Hi ha hagut diverses implementacions de la interfície binària del nucli L4 i els seus successors de més alt nivell, incloent-hi L4Ka :: Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) i Fiasco (TU Dresden). Per això, el nom L4 ja no es refereix únicament a la implementació original de Liedtke, sinó que s'aplica a tota la família de micronuclis que inclouen la interfície del nucli L4 i les se (ca) L4 je rodina mikrojader druhé generace nejčastěji používaných pro implementaci un*xových operačních systémů, ale používaných také v různých jiných systémech. L4 byl stejně jako jeho předchůdce vytvořen německým počítačovým vědcem Jochenem Liedtkem jako odpověď na slabý výkon raných mikrojaderných operačních systémů. Liedtke se domníval, že mikrojádro použitelné pro praxi vznikne spíše na základě systému navrženého pro vysoký výkon, než na základě systému navrženého pro jiné cíle. Jeho původní implementace v ručně psaném assembleru procesoru Intel 80386 vyvolala v počítačovém průmyslu značný zájem. L4 byl už od svého uvedení vyvíjen s důrazem na bezpečnost, izolaci procesů a . (cs) L4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la API ha sufrido grandes desarrollos en varias direcciones, tanto buscando un nivel más alto de independencia de plataforma como mejorando seguridad, aislamiento y robustez. Ha habido varias reimplementaciones de la interfaz binaria del núcleo L4 y sus sucesores de más alto nivel, incluyendo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) y Fiasco (TU Dresden). Por esta razón, el nombre L4 ya no se refiere únicamente a la implementación original de Liedtke, sino que se aplica a toda la familia de micronúcleos que incluyen la interfaz del núcleo L (es) L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable Operating System Interface (POSIX) compliant types. L4 is widely deployed. One variant, OKL4 from Open Kernel Labs, shipped in billions of mobile devices. (en) L4 est un micronoyau de seconde génération conçu par (en). Les micronoyaux du début des années 1990 étant extrêmement lents par rapport à leurs concurrents monolithiques, Liedtke décide de développer ses propres micronoyaux. Il développe ainsi les micronoyaux L3 et ensuite L4. Les nombreuses améliorations apportées à ceux-ci et leurs successeurs ont depuis permis d'accroître considérablement la vitesse de ces anciens noyaux pour en arriver ensuite aux micronoyaux actuels. (fr) L4マイクロカーネルファミリーは第二世代マイクロカーネルのファミリーで、一般的にはUnix系のオペレーティングシステムの実装に使われるが他の様々なシステムにも使われる。前身のL3マイクロカーネルと同じように、ドイツのコンピュータ科学者ヨッヘン・リートケによってそれ以前のマイクロカーネルベースのオペレーティングシステムの性能の低さを解決する答えとしてL4は作られた。リートケは性能を最優先に設計したシステムであれば実用的なマイクロカーネルを作ることができるのではないかと考えた。彼のインテルi386のアセンブリ言語でハードコードした最初の実装はコンピュータ産業界の関心を引いた。これを始めとしてL4はプラットフォーム非依存、セキュリティの改善、分離、堅牢性に向けた開発が行われた。 (ja) A família L4 é uma família de micronúcleos de segunda geração baseada nos projetos e implementações originais do cientista da computação alemão Jochen Liedtke. Foi originalmente implementada como código de montagem extremamente otimizado específico do Intel i386, a interface de programação de aplicativos recebeu desenvolvimento extensivo em várias direções, ambas em obter um nível de e também em melhorar a , isolação e robustez. O L4 é usado em produções de . (pt) |
| rdfs:label | L4 (microkernel) (ca) L4 (jádro) (cs) L4 (Mikrokernel) (de) L4 (micronúcleo) (es) Micronoyau L4 (fr) L4 microkernel family (en) L4マイクロカーネルファミリー (ja) L4 (informatyka) (pl) L4 (micronúcleo) (pt) L4 (микроядро) (ru) L4微内核系列 (zh) |
| owl:sameAs | freebase:L4 microkernel family wikidata:L4 microkernel family dbpedia-ca:L4 microkernel family dbpedia-cs:L4 microkernel family dbpedia-de:L4 microkernel family dbpedia-es:L4 microkernel family dbpedia-fa:L4 microkernel family dbpedia-fr:L4 microkernel family dbpedia-ja:L4 microkernel family dbpedia-no:L4 microkernel family dbpedia-pl:L4 microkernel family dbpedia-pt:L4 microkernel family dbpedia-ru:L4 microkernel family dbpedia-zh:L4 microkernel family https://global.dbpedia.org/id/jvvA |
| prov:wasDerivedFrom | wikipedia-en:L4_microkernel_family?oldid=1124849404&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/L4_family_tree.png |
| foaf:homepage | http://sel4.systems |
| foaf:isPrimaryTopicOf | wikipedia-en:L4_microkernel_family |
| foaf:name | L4 microkernel family (en) |
| is dbo:knownFor of | dbr:Jochen_Liedtke |
| is dbo:wikiPageRedirects of | dbr:L3_(operating_system) dbr:L3_microkernel dbr:OKL4 dbr:SeL4 dbr:Liedtke_3 dbr:L4/Fiasco dbr:L4_(microkernel) dbr:L4_kernel dbr:L4_microkernel dbr:L4sec dbr:Fiasco_(L4_clone) |
| is dbo:wikiPageWikiLink of | dbr:List_of_computer_scientists dbr:UNSW_School_of_Computer_Science_and_Engineering dbr:Apple_T2 dbr:List_of_important_publications_in_computer_science dbr:List_of_operating_systems dbr:List_of_programmers dbr:L3_(operating_system) dbr:L3_microkernel dbr:L4 dbr:X86_virtualization dbr:OKL4 dbr:Comparison_of_open-source_operating_systems dbr:GNU_Hurd dbr:Genode dbr:Linux_Foundation dbr:Mach_(kernel) dbr:Comparison_of_operating_system_kernels dbr:Kernel_(operating_system) dbr:Paravirtualization dbr:Pistachio_(disambiguation) dbr:Microkernel dbr:ARM_architecture_family dbr:DEC_Alpha dbr:Darwin_(operating_system) dbr:EROS_(microkernel) dbr:Eumel dbr:Formal_verification dbr:Quark_(kernel) dbr:Isabelle_(proof_assistant) dbr:Hypervisor dbr:Fiasco dbr:Jochen_Liedtke dbr:L4Linux dbr:PikeOS dbr:Spring_(operating_system) dbr:OpenVMS dbr:Open_Kernel_Labs dbr:Openmoko dbr:Capability-based_operating_system dbr:Capability-based_security dbr:RC_4000_multiprogramming_system dbr:REX_OS dbr:Redox_(operating_system) dbr:SeL4 dbr:Wombat_(operating_system) dbr:Security-focused_operating_system dbr:IGUANA_Computing dbr:Multiboot_specification dbr:VirtualLogix dbr:Liedtke_3 dbr:L4/Fiasco dbr:L4_(microkernel) dbr:L4_kernel dbr:L4_microkernel dbr:L4sec dbr:Fiasco_(L4_clone) |
| is dbp:family of | dbr:Eumel dbr:PikeOS dbr:Wombat_(operating_system) |
| is dbp:knownFor of | dbr:Jochen_Liedtke |
| is dbp:succeededBy of | dbr:Eumel |
| is foaf:primaryTopic of | wikipedia-en:L4_microkernel_family |
