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.
2016
2016
VMXHAL: A Versatile Virtualization Framework for Embedded Systems
Given the continuous evolution of hardware capabilities for embedded systems, the idea of virtualization becomes practical… 
2014
2014
Achieving Software Security for Measuring Instruments under Legal Control
In recent years measuring instruments have adopted general-purpose operating systems to offer the user a broader functionality… 
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… 
2010
2010
Performance Evaluation of Para-virtualization on Modern Mobile Phone Platform
Emergence of smartphones brings to live the concept of converged devices with the availability of web amenities. Such trend also… 
2008
2008
L4 - Virtualization and Beyond
After being introduced by IBM in the 1960s, virtualization has experienced a renaissance in recent years. It has become a major… 
2007
2007
L4oprof: a performance-monitoring-unit-based software-profiling framework for the L4 microkernel
These days, the L4 microkernel is expanding its domain towards embedded systems since it is showing a comparable performance with… 
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… 
Review
2001
Review
2001
Helping in a multiprocessor environment
This report presents Fiasco-SMP, a port of the Fiasco microkernel to the multiprocessor-x86 architecture. We the discuss design… 
2000
2000
Transparent Orthogonal Checkpointing through User-Level Pagers
Orthogonal persistence opens up the possibility for a number of applications. We present an approach for easily enabling… 
1998
1998
Design and implementation of a real-time ATM-based protocol server
The paper describes the design and implementation of L/sup 4/ATM, an ATM (asynchronous transfer mode) based networking server… 
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)