u-boot=> setenv fdt_high 0xffffffffffffffff
u-boot=> fatload mmc 1:1 0x90000000 bootstrap.bin
422484208 bytes read in 4410 ms (91.4 MiB/s)
u-boot=> fatload mmc 1:1 0xB0000000 imx95-19x19-verdin.dtb
97421 bytes read in 4 ms (23.2 MiB/s)
u-boot=> booti 0x90000000 - 0xB0000000
Image lacks image_size field, assuming 16MiB
Moving Image from 0x90000000 to 0x90080000, end=91080000
## Flattened Device Tree blob at b0000000
   Booting using the fdt blob at 0xb0000000
Working FDT set to b0000000
   Using Device Tree in place at 00000000b0000000, end 00000000b001ac8c
Working FDT set to b0000000

Starting kernel ...


L4 Bootstrapper
  Compiled with: GCC (12.2.1 20221205)
  Bootstrap build info:  2026-01-13 09:06:14 IST+0530
  L4Image creation info: 2026-01-13 21:02:22 IST+0530
  L4Image sequence info: #90
  RAM: 0000000090000000 - 00000000ffffffff: 1.7 GiB
  RAM: 0000000100000000 - 000000047fffffff: 14.0 GiB
  Total RAM: 15.7 GiB
  New region for list regions:      [ 9255a000,  a9368f0a] { 366.0 MiB} Boot   Module
  overlaps with:                    [ a0000000,  a00fffff] {1024.0 KiB} Arch   vpu_boot@a0000000
Regions of list 'regions'
    [ 88000000,  88007fff] {  32.0 KiB} Arch   vdev0vring0@88000000
    [ 88008000,  8800ffff] {  32.0 KiB} Arch   vdev0vring1@88008000
    [ 88010000,  88017fff] {  32.0 KiB} Arch   vdev1vring0@88010000
    [ 88018000,  8801ffff] {  32.0 KiB} Arch   vdev1vring1@88018000
    [ 88020000,  8811ffff] {1024.0 KiB} Arch   vdevbuffer@88020000
    [ 88220000,  88220fff] {   4.0 KiB} Arch   rsc-table@88220000
    [ 8c000000,  8dbfffff] {  28.0 MiB} Arch   optee_core@8c000000
    [ 8dc00000,  8dffffff] {   4.0 MiB} Arch   optee_shm@8dc00000
    [ 90080000,  9009610f] {  88.2 KiB} Boot   bootstrap
    [ 90098200,  90098969] {   1.8 KiB} Boot   modinfo
    [ 90099000,  9016b4c7] { 841.1 KiB} Boot   Module
    [ 9016c000,  90172a77] {  26.6 KiB} Boot   Module
    [ 90173000,  901aae07] { 223.5 KiB} Boot   Module
    [ 901ab000,  901d346f] { 161.1 KiB} Boot   Module
    [ 901d4000,  9026da0f] { 614.5 KiB} Boot   Module
    [ 9026e000,  903a036f] {   1.1 MiB} Boot   Module
    [ 903a1000,  903a1313] {   0.7 KiB} Boot   Module
    [ 903a2000,  925599ff] {  33.7 MiB} Boot   Module
    [ a0000000,  a00fffff] {1024.0 KiB} Arch   vpu_boot@a0000000
    [ b0000000,  b0017fff] {  96.0 KiB} Root   dtb
region overlap

Key press reboots...



#########Module List
modaddr 0x01100000
default-kernel fiasco -serial_esc
default-bootstrap bootstrap
entry imx95-yocto
roottask moe rom/imx95-yocto.cfg
module l4re
module ned
module uvmm
module imx95-yocto.cfg
module[fname=linux] /home/admin1/Downloads/images/imx95-19x19-verdin/linux-kernel.bin
module[fname=ramdisk.cpio.gz] /home/admin1/Downloads/images/imx95-19x19-verdin/yocto-ramdisk.cpio.gz
module[fname=guest.dtb] dtb/virt-arm_virt-64.dtb

######cfg file
-- vim:set ft=lua:
local L4 = require("L4");
local l = L4.default_loader;

-- Memory allocation logic from official example
local flags = L4.Mem_alloc_flags.Continuous
              | L4.Mem_alloc_flags.Pinned
              | L4.Mem_alloc_flags.Super_pages;
local align = 21; -- 2MB alignment for AArch64 superpages

l:startv({
    caps = {
      -- Allocate 256MB with the special flags
      ram = L4.Env.user_factory:create(L4.Proto.Dataspace, 256 * 1024 * 1024, flags, align):m("rw"),
    },
    log = L4.Env.log,
  },
  "rom/uvmm", 
  "-v", 
  "-i",               -- Keyboard Input Fix
  "-krom/linux",      -- Matches fname in .list
  "-rrom/ramdisk.cpio.gz", 
  "-drom/guest.dtb",   -- Matches fname in .list
  "-cconsole=ttyAMA0,115200 console=ttyAMA0 rw rdinit=/sbin/init"
);