https://publikationen.bibliothek.kit.edu/1000002472
Managing Code Complexity in a Portable Microkernel
in amanagingcodecomplexityportable
https://fosdem.microkernel.info/
Microkernel and Component-Based OS Devroom at FOSDEM 2026
Call for Participation
microkernelcomponentbasedos
https://www.amrita.edu/publication/verticalthings-a-language-based-microkernel-for-constrained-iot-devices-work-in-progress/
Verticalthings - a Language-based Microkernel for Constrained IoT Devices: Work-in-progress -...
work in progressiot deviceslanguagebasedmicrokernel
https://www.unsw.edu.au/research/hdr/our-projects/sel4-microkernel-and-sel4-based-systems
seL4 Microkernel and seL4-based Systems
microkernelbasedsystems
https://www.techtarget.com/searchvmware/tip/Key-differences-in-monolithic-vs-microkernel-architecture
Key differences in monolithic vs. microkernel architecture | TechTarget
Understand the differences in monolithic vs. microkernel hypervisors. VMware offers monolithic architecture, while Hyper-V uses a microkernel approach.
key differencesmonolithicvsmicrokernelarchitecture
https://cloudnativejourney.in/tag/microkernel/
Microkernel - Cloud Native Journey
cloud nativemicrokerneljourney
https://thescipub.com/abstract/jcssp.2009.493.500
Multi Microkernel Operating Systems for Multi-Core Processors | Journal of Computer Science |...
operating systemscomputer sciencemultimicrokernelcore
https://techterms.com/definition/microkernel
Microkernel Definition
The definition of Microkernel defined and explained in simple language.
microkerneldefinition
https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/Y3CHQFMSVP2M5ANSCIVCCYMU7PY7W6A7/?noscript
Fwd: FOSDEM 2016 - Microkernel devroom CfP - Devel - lists.sel4.systems
fwdfosdemmicrokernelcfpdevel