Microkernels Courses and Certifications

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

Devoxx

Containers, VMs, Processes - How All of These Technologies Work

Explore virtualization technologies, comparing containers, VMs, and microkernels. Understand their workings, origins, and use cases through demos and explanations suitable for all technical levels.

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

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 Online Course

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 Online Course

linux.conf.au

Anatomy of a Run-Time - Your Contract with the Kernel

Explore the interplay between kernel design, language run-times, and software development. Gain insights into OS interfaces, run-time components, and their impact on software portability and future innovations.

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

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

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

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

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 Online Course

USENIX

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel

Explore HongMeng, a general-purpose microkernel addressing performance and compatibility challenges while maintaining security and reliability for smartphones and smart vehicles.

• YouTube
• 16 minutes
• On-Demand
• Free Online Course

Использование механизмов операционных систем в разработке программного обеспечения

Расширьте знания в области ОС, научитесь выбирать механизмы при разработке ПО, овладейте навыками использования функций ОС в коде и развивайте профессиональные способности.

• Coursera
• 6 weeks
• Finished
• Free Online Course (Audit)