Skip to search formSkip to main contentSkip to account menu

L4Linux

Known as: L⁴Linux 
L4Linux is a variant of the Linux kernel that is being altered to the extent that it can run virtualized on the L4. L4 is a microkernel and the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
AndroidL4 microkernel familyLinuxMicrokernel

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Energy Efficiency Measurements of Mobile Virtualization Systems
The energy efficiency has become an important aspect in data centers and large server systems, including the ones used in… 
2007
2007
Cloning L 4 Linux
Following the ongoing development of virtual machines, this paper deals with the “reincarnation” of virtual machines by examining… 
2007
2007
L 4 oprof : A System-Wide Profiler Using Hardware PMU in L 4 Environment
The recent advance of L4 microkernel technology enables building a secure embedded system with comparable performance to a… 
Review
2006
Review
2006
Ten Years of Research on L 4-Based Real-Time Systems
Microkernels are an intriguing technology for operating systems research in general and for real-time systems in particular. To… 
2004
2004
Secure Microkernel-based System Architecture Institute for System Architecture Operating Systems Group Motivation
  • 2004
  • Corpus ID: 9273591
Motivation Modern operating systems must provide a wide variety of functionality. This includes complex software components such… 
2000
2000
The Performance of μ-Kernel-Based Systems
First-generationμ-kernelshave a reputationfor being too slow andlackingsufficientflexibility . To determinewhether L4, a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)