[Bug 235542] Jetson TK1 SD Card Controller causes kernel panic on FreeBSD 13.0-CURRENT

[bugzilla-noreply at freebsd.org]

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

            Bug ID: 235542
           Summary: Jetson TK1 SD Card Controller causes kernel panic 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

Created attachment 201780
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=201780&action=edit
Panic log after attempting to load sdhci during boot

When booting a Jetson TK1 on FreeBSD 13.0-CURRENT, the kernel panics when
trying to initialize the SD Controller (sdhci device).  

However, if this device is disabled, a `kldload sdhci` occurs successfully. The
SD Controller appears to still not be functional since no kernel messages
appear when an SD card is inserted and no `/dev/sd[a-z]` devices exist.

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