On Sun, Feb 17, 2019 at 07:52:56PM +0100, Ernst J. Oud wrote: > How to go about only building the userland binaries? Deleting kernel config > files? If you do something like: build.sh distribution sets you will get the sets for userland, but no kernels. Martin