Este documento presenta una agenda para una sesión de formación sobre desarrollo de núcleos Linux embebidos. La sesión cubrirá temas como módulos del kernel de Linux, controladores de dispositivos, gestión de memoria, depuración de controladores y estudios de caso específicos. También se explicarán procesos como la configuración, compilación e instalación de nuevos núcleos de Linux.