DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Open Kernel Labs
Open Kernel Labs
UG1046 Ultrafast Embedded Design Methodology Guide
The OKL4 Microvisor: Convergence Point of Microkernels and Hypervisors
KVM for ARM
Sel4: Formal Verification of an Operating-System Kernel
Operating System Support for Run-Time Security with a Trusted Execution Environment
Partitioned System with Xtratum on Powerpc
Operating System Verification—An Overview
OKL4 Microkernel Reference Manual
Lltzvisor: a Lightweight Trustzone-Assisted Hypervisor for Low-End ARM Devices
Virtualization for Embedded Systems the How and Why of Small-Device Hypervisors M
White Paper Motorola Evoke Teardown
Rootkits on Smart Phones: Attacks and Implications
Evaluation of OKL4
Leadership Bios
Virtualization – the Power and Limitations for Military Embedded Systems – a Structured Decision Approach
Secure Microkernel for Deeply Embedded Devices
From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
The Potential of Microkernels ENGL 2201
Top View
Embedded Real-Time Virtualization Technology for Reconfigurable Platforms Tian Xia
From L3 to Sel4 What Have We Learnt in 20 Years of L4 Microkernels?
Software and Hardware Supports for Multi-OS Environment
Evaluation and Analysis of Okl4-Based Android
Sel4: from General Purpose to a Proof of Information Flow Enforcement
Embedded Systems Development Tools: a MODUS-Oriented Market Overview
The Sel4 Microkernel – a Robust, Resilient, and Open-Source Foundation for Ground Vehicle Electronics Architecture
Safe and Automatic Live Update
The Hyplet : Joining a Program and a Nanovisor for Real-Time and Performance
Local Operating Systems R&D and Opportunities For
Trustworthy Execution on Mobile Devices: What Security Properties Can My Mobile Platform Give Me?
Thin Hypervisor-Based Security Architectures for Embedded Platforms
Repositorio Universidad Del Cauca
A Functional Approach to Memory-Safe Operating Systems
Framework for Anomaly Detection in OKL4-Linux Based Smartphones
Sel4: Formal Verification of an OS Kernel
Abstract Formal Specification of the Sel4/Armv6
Virtualization Techniques for Mobile Devices