/* The entry point of the kernel is the boot function */ ...