Kernel auf dem #RaspberryPI bauen dauert etwa 10 Stunden. Ich brauche wohl wieder eine distcc-Umgebung…