Note
Para la compilación y pruebas es necesario instalar Make y GCC
Tip
Comprueba los permisos de boot antes de compilar
Warning
Sin elegir entre boot_64 o boot_32 no ejecutará
Important
Se compila con el comando make en el directorio raíz Después, boot/boot minikernel/kernel O bien de la siguiente forma para escribir el output en un fichero de texto: boot/boot minikernel/kernel > salida
Proyecto de Ampliación de Sistemas Operativos en el que se debe recrear el funcionamiento de una miniKernel.