< Previous | Contents | Next >
If you intend to boot this system, you probably want a Linux kernel and a boot loader. Identify available pre-packaged kernels with:
# apt-cache search linux-image
Then install the kernel package of your choice using its package name.
# apt install linux-image-arch-etc
(You may want install linux-image-generic, too.)