On Wed, 21 Aug 2019 05:49+1000, Peter Jeremy wrote: > My solution is to mount /usr/src with the option "nolockd". Thank you so much, Peter. I learned something new today. -- Trond.