Microkernels Courses and Certifications

media.ccc.de

10 Years of Emulating the Nintendo 3DS - A Tale of Ninjas, Lemons, and Pandas

Explore 10 years of Nintendo 3DS emulation challenges, technical breakthroughs, preservation efforts, and the future of handheld console emulation technology.

• YouTube
• 55 minutes
• On-Demand
• Free Video

media.ccc.de

10 Years of Emulating the Nintendo 3DS - A Tale of Ninjas, Lemons, and Pandas

Explore the decade-long journey of Nintendo 3DS emulation, from technical challenges to preservation efforts, including the rise and fall of Citra emulator.

• YouTube
• 55 minutes
• On-Demand
• Free Video

media.ccc.de

10 Years of Emulating the Nintendo 3DS - A Tale of Ninjas, Lemons, and Pandas

Explore the decade-long journey of Nintendo 3DS emulation, from technical challenges to preservation efforts, lawsuits, and future prospects, highlighting the evolution of handheld console architecture and emulation approaches.

• YouTube
• 55 minutes
• On-Demand
• Free Video

RIOT

M³ - Hardware/OS Co-Design for Heterogeneous System-on-Chips

Explore M³ architecture combining microkernel technology with hardware abstraction to reduce complexity in security-critical heterogeneous systems.

• YouTube
• 23 minutes
• On-Demand
• Free Video

USENIX

MettEagle - Costs and Benefits of Implementing Containers on Microkernels

Explore MettEagle's implementation of containers on microkernels, comparing security benefits and performance against traditional Linux containers in cloud environments.

• YouTube
• 16 minutes
• On-Demand
• Free Video

Rust

Rust on L4Re - Safe Language Meets Safe Microkernel

Explore the integration of Rust's memory-safety features with L4Re's microkernel for enhanced system reliability and security. Learn about porting challenges and future applications in IPC.

• YouTube
• 23 minutes
• On-Demand
• Free Video

TheIACR

Antikernel - A Decentralized Secure Hardware Software Operating System

Explore a decentralized secure hardware-software operating system with parallel networks, memory management, and microkernel security core for enhanced system protection and efficiency.

• YouTube
• 20 minutes
• On-Demand
• Conference Talk

Devoxx

Containers, VMs, Processes - Deep Dive and Learn About Your Operating System

Explore virtualization, containers, and microkernels. Compare technologies like Docker, KVM, and Xen. Gain insights into system isolation, choosing tools, and solving scaling and security issues.

• YouTube
• 50 minutes
• On-Demand
• Conference Talk

Security in Zephyr and Fuchsia - Comparing Emerging Open Source Operating Systems

Explore security architectures and mechanisms in Zephyr and Fuchsia operating systems, comparing them to Linux. Learn about ongoing advancements and unique approaches to IoT and microkernel-based security.

• YouTube
• 46 minutes
• On-Demand
• Free Video

linux.conf.au

Verified seL4 on Secure RISC-V Processors

Exploring seL4 microkernel implementation and verification on RISC-V, discussing security features, time protection, and related open-source technologies for building secure systems.

• YouTube
• 45 minutes
• On-Demand
• Conference Talk

Linux Plumbers Conference

BPF Microconference

Explore advancements in BPF technology for Linux kernel, covering networking, tracing, and security. Learn about verifier scalability, type formats, dynamic tracing, and more in this comprehensive session.

• YouTube
• 4 hours 57 minutes
• On-Demand
• Conference Talk

Code Sync

seL4 and BEAM: Running Erlang Without an OS

Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.

• YouTube
• 26 minutes
• On-Demand
• Free Video

Code Sync

Security Under the BEAM - Building Trustworthy Isolation in Operating Systems

Explore the Kry10 Secure Platform, combining BEAM VM isolation, seL4 Microkernel, and formal methods to build trustworthy, fault-tolerant systems for IoT and next-gen software development.

• YouTube
• 43 minutes
• On-Demand
• Free Video

GOTO Conferences

Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015

Explore formal methods for creating bug-free software, including SeL4 microkernel and CompCert compiler. Learn about recent advancements and limitations in producing high-assurance software for vehicles.

• YouTube
• 47 minutes
• On-Demand
• Free Video

media.ccc.de

Xous - A Pure-Rust Rethink of the Embedded Operating System

Explore Xous, a pure-Rust microkernel for secure embedded systems featuring hardware MMU support, custom standard library implementation, and safe asynchronous messaging primitives.

• YouTube
• 39 minutes
• On-Demand
• Free Video