Booting from GRUB, Makefile and terminal initialization.