[Bug 235362] Cannot boot Jetson TK1 on FreeBSD 13.0-CURRENT

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=235362

            Bug ID: 235362
           Summary: Cannot boot Jetson TK1 on FreeBSD 13.0-CURRENT
           Product: Base System
           Version: CURRENT
          Hardware: arm
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: arm
          Assignee: freebsd-arm at FreeBSD.org
          Reporter: gndaryee at uwaterloo.ca
 Attachment #201568 text/plain
         mime type:

Created attachment 201568
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=201568&action=edit
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.

-- 
You are receiving this mail because:
You are the assignee for the bug.