Created attachment 201568 [details]
Error log with printf statements showing lock state before initializing
Kernel crashes during boot when booting a Jetson TK1 from NFS. Booting the kernel dies early on with "vm reserv" already initialized.
Further investigation seems to show that not all of the mutexes used in the array were initialized to zero correctly.
Using git bisect, it appears the commit that brought in the issue is base r340337 which brought in Linux devicetree specifications.
After isolating the changes to the Jetson TK1, it appears that the memory region may be too big? Using a smaller length (256MB smaller) appears to resolve the issue.
Created attachment 201569 [details]
Original error without printf statements
Created attachment 201570 [details]
Changes to the configuration of JETSON-TK1 (to enable NFS)
Created attachment 201571 [details]
Make arguments used to build & install JETSON-TK1 kernel
Created attachment 201572 [details]
Changes to sys/gnu/dts/arm/tegra124-jetson-tk1.dts to bypass the error
Created attachment 201573 [details]
Error log after changing sys/gnu/dts/arm/tegra124-jetson-tk1.dts to bypass error
A commit references this bug:
Date: Wed Feb 6 06:03:44 UTC 2019
New revision: 343828
Adapt FreeBSD specific DT stub for Jetson TK1 board to be consistent with
update of devicetree to 4.19 in r340337.
Our build system doesn't provide dependencies for included DTS files, so
nobody noticed this issue for long time.
MFC after: 1 week
Fixed in r343828.
Thanks for reporting.