On 18/08/2018 14:15, Polytropon wrote: > Try to follow the instructions on top of /usr/src/Makefile > (comment header). Before you perform "make installworld", > make sure you have rebooted the system into single-user mode > (with the new kernel). > > Also see "man 7 build" for details. > > yep, that fixed it, sorry for the noise ;) -- J.