Visión general
De qué trata este proyecto.
Diseña la API de mensajes (send/recv/call), el formato de los IPC y el mecanismo de gestión de capabilities para los servidores. Implementa el kernel (cambio de contexto, planificación round-robin, IPC síncrono), un servidor de procesos mínimo (fork/exec equivalentes), un servidor de ficheros sobre tmpfs y un driver de consola serie. Documenta cada decisión de diseño con un comentario en código y un capítulo del manual. Entrega el código, una imagen booteable en QEMU, un manual de 25 páginas con diagramas de IPC y un laboratorio guiado que añade un servidor de red sencillo paso a paso.
El Briefing
Lo que harás y lo que demostrarás.
Construir un microkernel didáctico con paso de mensajes lo bastante pequeño y documentado para que una persona estudiante de máster lo extienda en una semana.
Earning criteria — what you'll demonstrate
- Diseñar e implementar IPC síncrono con semánticas claras
- Razonar sobre el modelo de microkernel vs monolito (correctitud, rendimiento, complejidad)
- Implementar gestión de capabilities como mecanismo de seguridad
- Producir material didáctico que aguante el escrutinio de profesorado experto
Encaje académico
Dónde encaja esto en tus estudios.
Afina las mismas habilidades que tu titulación espera de ti.
Habilidades
Habilidades que demostrarás.
Cada una aparece en tu credencial verificada.
Carreras
Roles para los que esto te prepara.
Títulos reales. Puentes de habilidades reales. Elige el que más se acerque a tu trayectoria.
Trayectorias profesionales que esto construye
Roles canónicosArquitecto de Sistemas
Diseñar un microkernel desde cero y documentarlo a nivel pedagógico demuestra un nivel de comprensión de SO al que llegan muy pocos perfiles, incluso senior.
Este proyecto afina
- microkernels
- kernel-architecture
- ipc
Ingeniero de Software
Quien ha construido un microkernel con IPC correcto razona con seguridad sobre cualquier problema de aislamiento en arquitecturas modernas (containers, sandboxes, plugins).
Este proyecto afina
- systems-programming
- operating-systems
- ipc