DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» L4Linux
L4Linux
Improving the Reliability of Commodity Operating Systems
Legacy Reuse
Kernel Architectures
The Nizza Secure-System Architecture
Separating Protection and Management in Cloud Infrastructures
Research on Virtualisation Technlogy for Real-Time Reconfigurable Systems Tian Xia
L4 – Virtualization and Beyond
Context Related Policies on Data Isolation for Organizational Data Using Profiles
Paravirtualizing Linux in a Real-Time Hypervisor
Paravirtualized Applications on Top of an L4/Fiasco Microkernel
Kernel-Based Systems
Taming Hosted Hypervisors with (Mostly) Deprivileged Execution
A State-Of-The-Art Survey on Real-Time Issues in Embedded Systems Virtualization
(Linux) Kernel Enhancements to Support Container Security
Linux Kernel Series
L4 Microkernel
Evolution of the Pikeos Microkernel
Energy Management for Hypervisor-Based Virtual Machines
Top View
Lecture 4 L4android: a Generic Operating System Framework for Secure Smartphones
ESSENTIAL Linux for EMBEDDED Developers
Real-Time Performance of L4linux
Cloning L4linux
Overlay Window Management: User Interaction with Multiple Security Domains
Combining Predictable Execution with Full- Featured Commodity Systems Adam Lackorzynski, Carsten Weinhold, Hermann Härtig
Efficient Virtualization on ARM Platforms
Performance Analysis of Microkernel Based Virtualization Techniques on Embedded Systems
Embedded Real-Time Virtualization Technology for Reconfigurable Platforms Tian Xia
Scalable Computer Network Emulation Using Node Virtualization and Resource Monitoring
L4android: a Generic Operating System Framework for Secure Smartphones
L4-Based Real Virtual Machines: an API Proposal
The Performance of Μ-Kernel-Based Systems
Container Allowing for Secure and Trustworthy OS Refinement {Jnordholz, Peter, Jpseifert}@Sec.T-Labs.Tu-Berlin.De
NOVA: a Microhypervisor-Based Secure Virtualization Architecture
Raz Ben Yehuda
Porting Android to Microkernel: an Experimental Approach
Linux Kernel Series.Pdf