kernel

the kernel is not built by default

to build it for i386 and x86_64, use

butch install kernel

that will build a standard kernel with the config file KEEP/linux.conf (edit that if you need additional drivers, and don't forget to open a PR so others can benefit too)

the sabotage images i distribute are built with both kernels. basically i do the following:

butch install kernel
nano /boot/extlinux.conf
# edit APPEND line if you need special kernel command line switches

on non-x86 devices, the "kernel" package will only build the kernel headers, since the default config will most likely not work on your device anyway. most ARM boards need a ton of device specific patches.