Kernels
                                -------

- smp64.k:      Kernel prepared for machines of 64 bits.

Type the name of the kernel that you want to boot: