Bugzilla – Bug 1081473
Nvidia Jetson TX1 does not boot from SD on Tumbleweed
Last modified: 2022-07-21 17:21:05 UTC
Using the latest JeOS rootfs tarball with kernel 4.14.15, the kernel finds eMMC but not SD. Adding "fixed" regulator driver to initrd did not help.
With today's mainline linux.git defconfig it does boot up okay.
One possible cause is missing drivers for its MAX77620 PMIC.
kernel-default 4.15.4 with MAX77620 drivers enabled/added still does not find SD and runs into exynos_iommu_domain_alloc(), which resembles:
With kernel-default 4.16.6 and 4.17.rc5 it's working now.