Hi, thanks for your extensive description.
On Fri Jan 16, 2026 at 13:48:59 +0530, Marka Sriharsha wrote: > The L4Re version I am using is r-2025-W48. > > Initially, I attempted to boot using the initramfs-based method. In this > approach, I converted the uImage into a raw bin image, because loading the > uImage directly resulted in a Bad kernel image error, likely due to the > default uImage header handling. After flashing the converted binary to the > SD card, the system booted but consistently got stuck during early boot. > Even when different load addresses are specified in U-Boot, the kernel is > always relocated to a fixed address (0x90080000). This address overlaps > with a reserved memory region (e.g., vpu_boot@a0000000), leading to a > region overlap error and reboot. I'm attracting the log (Initramfs.txt). When this happens, the loading address can be moved such that the loaded items do not overlap. This probably could be smarter overall as well. > After this, I switched to the SD card hardware passthrough method. > Following the i.MX documentation, I prepared the SD card as follows: > Partition 1: FAT partition containing bootstrap.uimage and the i.MX95 > device tree > Partition 2: Root filesystem > > As suggested, I updated the configuration (.cfg) file by following the > tutorial, and this resolved the console misconfiguration issue. > The system now boots correctly, and I am able to see the console output. > > For reference, I am attaching the boot logs(Boot_partition_2.txt) > > Although the system boots successfully, the SD card root partition is not > being detected or mounted. > While following the documented steps to enable SD card access, the boot > process ends with a “no device found” error for the SD card. > After further debugging, I noticed that for i.MX95, there is > nohw_devices.iofile > available in the following repository: > [https://github.com/kernkonzept/io/tree/master/io/configs] > Because of this, it is unclear how the SD/MMC hardware should be described > for i.MX95, and the block device does not appear during boot. > For reference, I am attaching the boot logs(Boot_partition_3.txt) > > Is there an official hw_devices.io configuration available for i.MX95? or > without the hw_device.io also we can mount the sd card? > Any guidance or example configuration would be very helpful for mounting > the rootfs. I'm afraid but for the imx95 nobody has yet enabled the emmc driver. Typically some SoC-adaption is needed. Since a couple of other imx variants are already there I'd hope it's not too bad. You could look at the imx8 ones, compare with the device tree of the imx95, add the io config and an according line in emmc-driver/server/src/drv_sdhci-usdhc.cc. Maybe it just works? BR, Adam _______________________________________________ l4-hackers mailing list -- [email protected] To unsubscribe send an email to [email protected]
