1:27:32w05b: Microkernel design and implementation, with focus on seL4CSeLearning1.2K viewsView & Download
29:11Building a microkernel-based operating system from the ground up (skiftOS @ FOSDEM2026)Sleepy Monax123 viewsView & Download
59:45Building your own AI Agent using Semantic Kernel - Johnny Hooyberghs - NDC Copenhagen 2025NDC Conferences1.7K viewsView & Download
33:35Apache DolphinScheduler 2 0 Microkernel Architecture To GuoqiangApache DolphinScheduler80 viewsView & Download
11:51Running LVGL Application on RT-Smart MicroKernel OS with RISC-VRT-Thread447 viewsView & Download
3:29Microkernel based OS Structure - Georgia Tech - Advanced Operating SystemsUdacity31.0K viewsView & Download
