DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/L4_microkernel_family> ?p ?o }

• L4_microkernel_family abstract "L4 is a family of second-generation microkernels, generally used to implement Unix-like operating systems, but also used in a variety of other systems.L4, like its predecessor L3 was created by German computer scientist Jochen Liedtke as a response to the poor performance of earlier microkernel-based operating systems. 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 off intense interest in the computer industry. Since its introduction, L4 has been developed for platform independence and also in improving security, isolation, and robustness.There have been various re-implementations of the original binary L4 kernel interface (ABI) and its successors, including L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) and Fiasco (TU Dresden). For this reason, the name L4 has been generalized and no longer only refers to 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.".
• L4_microkernel_family wikiPageExternalLink publications.
• L4_microkernel_family wikiPageExternalLink Elphinstone_Heiser_13.abstract.pml.
• L4_microkernel_family wikiPageExternalLink l4_kickstart.pdf.
• L4_microkernel_family wikiPageExternalLink l4.
• L4_microkernel_family wikiPageExternalLink galois.com.
• L4_microkernel_family wikiPageExternalLink index.
• L4_microkernel_family wikiPageExternalLink okl4.org.
• L4_microkernel_family wikiPageExternalLink L4.
• L4_microkernel_family wikiPageExternalLink LinuxOnL4.
• L4_microkernel_family wikiPageExternalLink citation.cfm?id=122124&dl=ACM&coll=&CFID=15151515&CFTOKEN=6184618.
• L4_microkernel_family wikiPageExternalLink seL4.systems.
• L4_microkernel_family wikiPageExternalLink SMACCM.
• L4_microkernel_family wikiPageExternalLink wiki.tudos.org.
• L4_microkernel_family wikiPageExternalLink L4.
• L4_microkernel_family wikiPageExternalLink High-Assurance_Cyber_Military_Systems_(HACMS).aspx.
• L4_microkernel_family wikiPageExternalLink www.l4hq.org.
• L4_microkernel_family wikiPageExternalLink www.l4ka.org.
• L4_microkernel_family wikiPageExternalLink www.ok-labs.com.
• L4_microkernel_family wikiPageExternalLink www.tudos.org.
• L4_microkernel_family wikiPageExternalLink f9micro.
• L4_microkernel_family wikiPageID "95763".
• L4_microkernel_family wikiPageLength "31712".
• L4_microkernel_family wikiPageOutDegree "104".
• L4_microkernel_family wikiPageRevisionID "705788643".
• L4_microkernel_family wikiPageWikiLink Address_space.
• L4_microkernel_family wikiPageWikiLink Alien_thread.
• L4_microkernel_family wikiPageWikiLink Android_(operating_system).
• L4_microkernel_family wikiPageWikiLink Apple_A7.
• L4_microkernel_family wikiPageWikiLink Apple_mobile_application_processors.
• L4_microkernel_family wikiPageWikiLink Application_binary_interface.
• L4_microkernel_family wikiPageWikiLink Assembly_language.
• L4_microkernel_family wikiPageWikiLink BSD_licenses.
• L4_microkernel_family wikiPageWikiLink Barrelfish.
• L4_microkernel_family wikiPageWikiLink Boeing.
• L4_microkernel_family wikiPageWikiLink Boeing_AH-6.
• L4_microkernel_family wikiPageWikiLink CPU_cache.
• L4_microkernel_family wikiPageWikiLink Capability-based_security.
• L4_microkernel_family wikiPageWikiLink Category:Microkernels.
• L4_microkernel_family wikiPageWikiLink Category:Software_written_primarily_in_assembly_language.
• L4_microkernel_family wikiPageWikiLink Common_Criteria.
• L4_microkernel_family wikiPageWikiLink Compiler.
• L4_microkernel_family wikiPageWikiLink Computer_scientist.
• L4_microkernel_family wikiPageWikiLink Computer_security.
• L4_microkernel_family wikiPageWikiLink Coprocessor.
• L4_microkernel_family wikiPageWikiLink Cross-platform.
• L4_microkernel_family wikiPageWikiLink DARPA.
• L4_microkernel_family wikiPageWikiLink DEC_Alpha.
• L4_microkernel_family wikiPageWikiLink DROPS_(operating_system).
• L4_microkernel_family wikiPageWikiLink Dresden_University_of_Technology.
• L4_microkernel_family wikiPageWikiLink Formal_verification.
• L4_microkernel_family wikiPageWikiLink Functional_programming.
• L4_microkernel_family wikiPageWikiLink GNU_General_Public_License.
• L4_microkernel_family wikiPageWikiLink General_Dynamics_Mission_Systems.
• L4_microkernel_family wikiPageWikiLink Germany.
• L4_microkernel_family wikiPageWikiLink Gernot_Heiser.
• L4_microkernel_family wikiPageWikiLink Haskell_(programming_language).
• L4_microkernel_family wikiPageWikiLink Hypervisor.
• L4_microkernel_family wikiPageWikiLink IBM.
• L4_microkernel_family wikiPageWikiLink Intel_80386.
• L4_microkernel_family wikiPageWikiLink Inter-process_communication.
• L4_microkernel_family wikiPageWikiLink Interface_(computing).
• L4_microkernel_family wikiPageWikiLink Interrupt_latency.
• L4_microkernel_family wikiPageWikiLink Itanium.
• L4_microkernel_family wikiPageWikiLink Jochen_Liedtke.
• L4_microkernel_family wikiPageWikiLink Karlsruhe_Institute_of_Technology.
• L4_microkernel_family wikiPageWikiLink Kernel_(operating_system).
• L4_microkernel_family wikiPageWikiLink L3_microkernel.
• L4_microkernel_family wikiPageWikiLink L4Linux.
• L4_microkernel_family wikiPageWikiLink Linux.
• L4_microkernel_family wikiPageWikiLink MIPS_instruction_set.
• L4_microkernel_family wikiPageWikiLink Mach_(kernel).
• L4_microkernel_family wikiPageWikiLink Microkernel.
• L4_microkernel_family wikiPageWikiLink Mobile_phone.
• L4_microkernel_family wikiPageWikiLink Monolithic_kernel.
• L4_microkernel_family wikiPageWikiLink NICTA.
• L4_microkernel_family wikiPageWikiLink Open_Kernel_Labs.
• L4_microkernel_family wikiPageWikiLink Open_source.
• L4_microkernel_family wikiPageWikiLink Operating_system.
• L4_microkernel_family wikiPageWikiLink Qualcomm.
• L4_microkernel_family wikiPageWikiLink Qualcomm_Snapdragon.
• L4_microkernel_family wikiPageWikiLink Real-time_computing.
• L4_microkernel_family wikiPageWikiLink Robustness_(computer_science).
• L4_microkernel_family wikiPageWikiLink Rockwell_Collins.
• L4_microkernel_family wikiPageWikiLink Scheduling_(computing).
• L4_microkernel_family wikiPageWikiLink Software_release_life_cycle.
• L4_microkernel_family wikiPageWikiLink Source_lines_of_code.
• L4_microkernel_family wikiPageWikiLink Symbian.
• L4_microkernel_family wikiPageWikiLink Thomas_J._Watson_Research_Center.
• L4_microkernel_family wikiPageWikiLink Thread_(computing).
• L4_microkernel_family wikiPageWikiLink Trusted_computing_base.
• L4_microkernel_family wikiPageWikiLink TÜV_SÜD.
• L4_microkernel_family wikiPageWikiLink University_of_Minnesota.
• L4_microkernel_family wikiPageWikiLink University_of_New_South_Wales.
• L4_microkernel_family wikiPageWikiLink Unix-like.
• L4_microkernel_family wikiPageWikiLink User_space.
• L4_microkernel_family wikiPageWikiLink Wombat_OS.
• L4_microkernel_family wikiPageWikiLink Working_set.
• L4_microkernel_family wikiPageWikiLink XScale.
• L4_microkernel_family wikiPageWikiLink File:L4_family_tree.png.

• next