ระบบปฏิบัติการแบบ microkernel คือ kernel ของมันทำงานให้น้อยเท่าที่จะเรียกได้ว่าเป็นระบบปฏิบัติงานได้ ซึ่งมักเป็นเรื่องการจัดสรรทรัพยากรของคอมพิวเตอร์ให้ user ใช้งานด้วยกันได้อย่างราบรื่นไม่ขัดการทำงานกัน เช่นการจัดการหน่วยความจำ การจัดการ thread หรือการสื่อสารระหว่าง thread ของ user ส่วนการทำงานที่แบ่งให้ไปเป็นส่วนของ user ได้ เช่น driver หรือ file system ก็แบ่งเป็นการทำงานย่อยๆ ไปเป็น kernel thread
ก็มี Fiasco ที่บอกว่าตัวเองเป็นระบบปฏิบัติการแบบ microkernel ทำงานได้หลาย platform โดย Fiasco.OC เป็น kernel และส่วนที่ให้ user ใช้งาน (userland) คือ L4Re และมีผู้ที่บอกว่าพอร์ต Fiasco มาสู่ Raspberry Pi แล้ว แต่ดูเหมือนจะทำบน QEMU ไม่ได้ลง Raspberry Pi จริงๆ และอาจเจอปัญหา address ที่จะ load kernel