Cloud/Edge Computing, AI, IoT, Programming Languages & Runtimes, Network, Virtualization, RISC-V, EDA, 5G/6G… Who Am I Agenda I. Background  Tech Stack  Project Sparrow Background Source: https://sel4.systems/About/seL4-whitepaper.pdf 1.2.1.2 Virtualization I. Background  seL4 is also a hypervisor Source: Source: https://sel4.systems/About/seL4-whitepaper.pdf I. Background  seL4 virtualization support with usermode VMMs Source: https://sel4.systems/About/seL4-whitepaper.pdf 1.2.1.3 Provable

community to build custom Virtual Machine Monitors (VMMs) and hypervisors. It abstracts the common virtualization components which implements a Rust-based VMM. • Written in Rust: Memory-safe language • Secure: