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).
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.
Dear L4Re team,
I'm following your guidance on the steps to get the RPi 4B running with
L4Re (https://l4re.org/bsp/rpi.html) I can set up and run very well with
your steps. However, I think an image, especially l4re_vm-multi_rpi4.elf,
is only for 3 VMs.
Could you help me figure out how I can increase the number of VMs, and each
VM will run on a different OS, such as Ubuntu, Red Hat, or Kali Linux?
Thank you for your support, and have a nice day.
Best regards,
Quang
