demo timing aware hardware virtualization on the l4re
play

Demo: Timing Aware Hardware Virtualization on the L4Re Microkernel - PowerPoint PPT Presentation

www.kernkonzept.com Demo: Timing Aware Hardware Virtualization on the L4Re Microkernel System Adam Lackorzynski (Kernkonzept &TUD), Alex Warg (Kernkonzept) www.kernkonzept.com Demo FreeRTOS Linux NXP/Freescale LS1021A TWR L4Re


  1. www.kernkonzept.com Demo: Timing Aware Hardware Virtualization on the L4Re Microkernel System Adam Lackorzynski (Kernkonzept &TUD), Alex Warg (Kernkonzept)

  2. www.kernkonzept.com Demo FreeRTOS Linux ● NXP/Freescale LS1021A TWR L4Re ● Dual-core ARM Cortex-A7 Framework ● Two Virtualization technologies L4Re Microkernel / Hypervisor ● Hardware-assisted virtualization: Linux ● Para-Virtualization: FreeRTOS ● VMs execute independent of each other ● Using both CPUs ● Temporal and spacial isolation ● Interactive: Reboot / Kill / Crash VMs as you like ● Independent of other activities in the system ● Restart VMs ● LEDs demonstrate VM and system liveliness and secure hardware access

  3. www.kernkonzept.com The L4Re Microkernel System ● Technology demonstration of our L4Re system ● OS / HV Framework for Security, Real-Time and Virtualization ● L4Re Microkernel / Hypervisor Apps ● L4Re user-level environment VMs ● Integration of isolated subsystems L4Re Framework ● Spatial isolation: security, safety ● Temporal isolation: real-time L4Re Microkernel / Hypervisor Hardware ● Capability-based design ● Component-based, small Trusted Computer Base (TCB) ● Multi-architecture: ARM, x86-32/64, more to come ● SMP, Multi-flavor virtualization functionalities ● Open source

  4. www.kernkonzept.com l4re.org

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend