Welcome to 09Superb! Mini Server07 version 2.0.9 64bit (Linux kernel 4.4.22 x86_64)! If you need to pass extra parameters to the kernel, enter them at the prompt below after the name of the kernel to boot (hugesmp.s etc). In a pinch, you can boot your system from here with a command like: boot: hugesmp.s root=/dev/sda1 rdinit= ro In the example above, /dev/sda1 is the / Linux partition. This prompt is just for entering extra parameters. If you don't need to enter any parameters, hit ENTER to boot the default kernel "hugesmp.s" or press [F2] for a listing of more kernel choices.