Open Kernel Labs
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