post #17 · [DISCUSIÓN] Planificando la arquitectura del Kernel: Event-driven vs Microkernel

voto híbrido: microkernel para drivers/IPC, event loop en el scheduler menos context switch que pure micro en hot path. en Rust se puede modelar con async + channels sin meter un runtime pesado en ring0. si alguien tiene diagramas de seL4 / Fuchsia, tiren links.