To concentrate now on the problem with vboxvfs crashing the 12.1 distribution kernel I’m wondering how to proceed best. The installed port is 5.2.32_1. The pkg which I installed is 5.2.34_2 Should I upgrade the port? Should I move to -current? debug the kernel? — Christoph