Puntos a tratar en esta unidad:

1. Características principales de los sistemas operativos Vídeo. Intro a los sistemas operativos
2. Tipos de kérnel Vídeo. Tipos de kérnel
3. Características del kérnel linux Vídeo. El kérnel linux
4. Manejo de módulos de linux: modprobe, lsmod, depmod, etc. Vídeo. Manejo de módulos del kérnel linux
5. Modificar parámetros del kérnel linux en el arranque o en tiempo de ejecución Vídeo. Parámetros del kérnel
6. Ficheros de cabeceras del núcleo. Compilación de módulos Vídeo. DKMS. Compilación de módulos de linux
7. Compilación del kérnel Vídeo. Configuración y compilación del núcleo linux (1) Vídeo. Configuración y compilación del núcleo linux (2)

Documentación

• sistemas-operativos.pdf
• kernel.pdf
• kernel_linux.pdf
• Rafael Luengo. Compilar, make y Makefile

Vídeos

• Introducción al tema
• Intro a los sistemas operativos
• Tipos de kérnel
• El kérnel linux
• Manejo de módulos del kérnel linux
• Parámetros del kérnel
• DKMS. Compilación de módulos de linux
• Configuración y compilación del núcleo linux (1)
• Configuración y compilación del núcleo linux (2)

Ejercicios

• Ejercicios de módulos
• Ejercicios de parámetros del kérnel

Tareas

1. Compilación de un programa en C utilizando un Makefile
2. Compilación de un kérnel linux a medida

Enlaces

• Una historia de UNIX: en memoria de Dennis Ritchie
• entredevsyops: Podcast 59: Microkernels con Sergio López
• Wikipedia: Protection ring
• Wikipedia: initrd
• Wikipedia: Proprietary device driver
• Mensaje original de Linus Torvalds. 5 octubre 1991
• The Linux kernel user’s and administrator’s guide
• Arch linux: Kernel parameters
• https://kernel-team.pages.debian.net/kernel-handbook/
• Linux Kernel in a Nutshell