Hi Adam,


I'm still not sure how to check if '/dev/console' or '/dev/ttyAMA0' exist in the initrd, since these devices might require drivers to be loaded at runtime before they can appear in the '/dev' directory. However, I noticed that a normal Xen boot process executes a script during the U-Boot stage. This script loads all the necessary files into memory, selects the node, provides the system settings to Xen, and then U-Boot boots Xen. Finally, Xen boots the Kernel image. The script mentions 'vpl011' and 'console=ttyAMA0'. Does this imply that the initrd supports 'ttyAMA0'?

When I run L4Re, I didn't execute this step, which causes it to boot the Xen VM instead of L4Re. This seems to be somewhat similar to the functionality of L4Re. Did I miss something or confuse anything here?

I have changed the script's file extension and placed it in the attachment.

Regards,

Qiang


On Tue, Feb 25, 2025 at 2:01 PM Adam Lackorzynski <adam@l4re.org> wrote:
Hi Qiang,

good idea with looking at the initcalls. I guess it is normal that some
of the are failing as they, for example, look for a device which is not
there.

With the initrd coming from Xen, maybe they way input/output is done is
specific to Xen. So is there a /dev/console, or /dev/ttyAMA0, in the
initrd such that the shell can make its output visible? As the output
just stops but also nothing more is happening, maybe we just do not see
it.

For your last question, I do not think this is in conflict, quite the
contrary as the Linux is aware of running in a virtual environment.
However, if something specific to Xen is being done that won't work on
L4Re and needs to be figured out and changes.
And don't worry, no question is silly :)


Adam

On Mon Feb 24, 2025 at 17:17:00 +0800, qiang xu wrote:
> Hi Adam,
>
> When I changed from 'init' to '/bin/sh', I did not enter the expected
> shell. To print more information, I changed the ‘*bootargs*‘ to ‘*bootargs
> = "console=ttyAMA0 init=/bin/sh debug ignore_loglevel loglevel=8
> initcall_debug"*’. The printed information is in the log file. I noticed
> that several initcalls returned abnormal values. I'm not sure if these
> anomalies are affecting my issue.
>
> Additionally, I want to mention that I saw someone in the S32G community
> <https://community.nxp.com/t5/S32G/Hypervisor-support-on-S32G/m-p/1550392>
> asking about L4Re. So, when creating the S32G Linux image, I referenced the
> Xen Hypervisor Dom0less section. In the ‘*uvmm-io.ned*’ file, I specified
> the rootfs via ‘*rd=fsl-image-dom0less-s32g274aevb.cpio.gz*’. It could be
> because I used the Dom0less method to build the image that it caused some
> Xen-related exceptions in the initcalls. Finally, I double-checked that
> both 'init' and '/bin/sh' exist and have the correct permissions.
>
> I have one more question: Xen is a hypervisor, and Fiasco in L4Re is also a
> hypervisor. Will this conflict, or am I misunderstanding something? I
> apologize if these are naive questions, I'm not very familiar with this
> area, and I might be asking a lot of silly questions.
>
> Regards,
> Qiang
>
> On Sat, Feb 22, 2025 at 2:54 PM Adam Lackorzynski <adam@l4re.org> wrote:
>
> > Hi Qiang,
> >
> > what should the initrd, i.e., /init, actually do? Any change when you
> > write init=/bin/sh instead of init=/init?
> >
> >
> > Adam
> >
> > On Fri Feb 21, 2025 at 11:27:07 +0800, qiang xu wrote:
> > > Hi Philipp,
> > >
> > > Thank you very much for the advice you provided. I have changed it to
> > 512M.
> > > It now runs without errors, but it gets stuck at:
> > >
> > > *vm1 | [ 1.753286] Freeing unused kernel memory: 1344K.*
> > > Regards,
> > > Qiang
> > >
> > > => fatload mmc 0 0x8000e000 l4re_uvmm-io.uimage
> > > 46235855 bytes read in 1972 ms (22.4 MiB/s)
> > > => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb1
> > > 54149 bytes read in 16 ms (3.2 MiB/s)
> > > => bootm 0x8000e000 - 0x80000000
> > > ## Booting kernel from Legacy Image at 8000e000 ...
> > >    Image Name:   L4 Image #27
> > >    Image Type:   AArch64 Linux Kernel Image (uncompressed)
> > >    Data Size:    46235791 Bytes = 44.1 MiB
> > >    Load Address: 91000000
> > >    Entry Point:  91000000
> > >    Verifying Checksum ... OK
> > > ## Flattened Device Tree blob at 80000000
> > >    Booting using the fdt blob at 0x80000000
> > >    Loading Kernel Image
> > >    Using Device Tree in place at 0000000080000000, end 0000000080010384
> > >    fixup: pfe0 set to 00:01:be:be:ef:11
> > >    fixup: pfe1 set to 00:01:be:be:ef:22
> > >    fixup: pfe2 set to 00:01:be:be:ef:33
> > >
> > > Starting kernel ...
> > >
> > >
> > > L4 Bootstrapper
> > >   Build: #27 Fri Feb 21 10:21:53 CST 2025, 11.4.0
> > >   RAM: 0000000080000000 - 00000000ffffffff: 2097152kB
> > >   RAM: 0000000880000000 - 00000008dfffffff: 1572864kB
> > >   Total RAM: 3584MB
> > >   Scanning fiasco
> > >   Scanning sigma0
> > >   Scanning moe
> > >   Moving up to 15 modules behind 81300000
> > >   moving module 00 { 9101f000-910e5fe7 } -> { 8600a000-860d0fe7 }
> > [815080]
> > >   moving module 01 { 910e6000-910ebcd7 } -> { 860d1000-860d6cd7 } [23768]
> > >   moving module 02 { 910ec000-9111e6cf } -> { 860d7000-861096cf }
> > [206544]
> > >   moving module 03 { 9111f000-9121258f } -> { 8610a000-861fd58f }
> > [996752]
> > >   moving module 04 { 91213000-9122e537 } -> { 861fe000-86219537 }
> > [111928]
> > >   moving module 05 { 9122f000-912b7aa7 } -> { 8621a000-862a2aa7 }
> > [559784]
> > >   moving module 06 { 912b8000-912c5384 } -> { 862a3000-862b0384 } [54149]
> > >   moving module 07 { 912c6000-92bd9a52 } -> { 862b1000-87bc4a52 }
> > [26294867]
> > >   moving module 08 { 92bda000-92bdb218 } -> { 87bc5000-87bc6218 } [4633]
> > >   moving module 09 { 92bdc000-92bdc29a } -> { 87bc7000-87bc729a } [667]
> > >   moving module 10 { 92bdd000-939bd807 } -> { 87bc8000-889a8807 }
> > [14551048]
> > >   moving module 11 { 939be000-93a03faf } -> { 889a9000-889eefaf }
> > [286640]
> > >   moving module 12 { 93a04000-93c16a87 } -> { 889ef000-88c01a87 }
> > [2173576]
> > >   moving module 13 { 93c17000-93c171f7 } -> { 88c02000-88c021f7 } [504]
> > >   moving module 14 { 93c18000-93c1808e } -> { 88c03000-88c0308e } [143]
> > >   Loading fiasco
> > >   found node 0 kernel info page (via ELF) at 0x80203000
> > >   Loading sigma0
> > >   Loading moe
> > >   found node 0 kernel options (via ELF) at 0x80204000
> > >   Sigma0 config    node: 0   ip:860003f4
> > >   Roottask config  node: 0   ip:80841904
> > > Regions of list 'regions'
> > >     [ 34000000,  3407ffff] {    80000} Arch   pfebufs@34000000
> > >     [ 34080000,  3409ffff] {    20000} Arch   pfebufs@34080000
> > >     [ 80000000,  8000dfff] {     e000} Root   dtb
> > >     [ 8000e000,  8000efff] {     1000} Root   mbi_rt
> > >     [ 80201000,  80205847] {     4848} Kern   fiasco
> > >     [ 80400000,  8061dfff] {   21e000} Kern   fiasco
> > >     [ 80840000,  8087d817] {    3d818} Root   moe
> > >     [ 83200000,  835dffff] {   3e0000} Arch   pfebufs@83200000
> > >     [ 835e0000,  835fffff] {    20000} Arch   pfebufs@835e0000
> > >     [ 84000000,  843fffff] {   400000} Arch   shm@84000000
> > >     [ 85000000,  85000fff] {     1000} Arch   ddr@85000000
> > >     [ 86000000,  8600946f] {     9470} Sigma0 sigma0
> > >     [ 8610a000,  88c0308e] {  2af908f} Root   Module
> > >     [ 91000158,  91000187] {       30} Root   cpu_boot
> > >     [ 9101e1d0,  9101ecdc] {      b0d} Boot   modinfo
> > >     [ c0000000,  c03fffff] {   400000} Arch   shm@c0000000
> > >     [ c0400000,  c07fffff] {   400000} Arch   shm@c0400000
> > >     [ d0000000,  d000007f] {       80} Arch   shm@d0000000
> > >     [ d0000080,  d00000ff] {       80} Arch   shm@d0000080
> > >     [ ff800000,  ff9fffff] {   200000} Arch   atf@ff800000
> > >   Starting kernel fiasco at 80201190
> > > Hello from Startup::stage2
> > > Reserved 216 MiB as kernel memory.
> > > Number of IRQs available at this GIC: 576
> > > CPU0: GIC Redistributor at ffff00480000 for 0x0
> > > Detecting PSCI ...
> > > Detected PSCI v1.1
> > > PSCI: CPU_SUSPEND format original v0.2, does not support OS-initiated
> > mode
> > > PSCI: TOS: Not present or not required.
> > > FPU: Initialize
> > > ARM generic timer: freq=5000000 interval=5000 cnt=1137745716
> > > SERIAL ESC: allocated IRQ 114 for serial uart
> > > Not using serial hack in slow timer handler.
> > > Welcome to the L4Re Microkernel!
> > > L4Re Microkernel on arm-64
> > > Rev: unknown compiled with gcc 11.4.0 for NXP S32G    []
> > > Build: #12 Tue Feb 18 14:17:13 CST 2025
> > >
> > > Cache config: ON
> > > CPU1: GIC Redistributor at ffff004a0000 for 0x1
> > > CPU1: ID_PFR[01]:  01002222 00000000 ID_[DA]FR0: 10305106 00000000
> > >       ID_MMFR[04]: 00001122 00000000 00000000 00000000
> > > CPU2: GIC Redistributor at ffff004c0000 for 0x100
> > > CPU2: ID_PFR[01]:  01002222 00000000 ID_[DA]FR0: 10305106 00000000
> > >       ID_MMFR[04]: 00001122 00000000 00000000 00000000
> > > CPU3: GIC Redistributor at ffff004e0000 for 0x101
> > > Calibrating timer loop...
> > > CPU3: ID_PFR[01]:  01002222 00000000 ID_[DA]FR0: 10305106 00000000
> > >       ID_MMFR[04]: 00001122 00000000 00000000 00000000
> > > Timer calibration done.
> > > MDB: use page size: 30
> > > MDB: use page size: 21
> > > MDB: use page size: 12
> > > SIGMA0: Hello!
> > >   KIP @ 80203000
> > >   allocated 4KB for maintenance structures
> > > SIGMA0: Dump of all resource maps
> > > RAM:------------------------
> > > [4:---:80000000;8000dfff]
> > > [4:RWX:8000e000;8000efff]
> > > [0:RWX:8000f000;80200fff]
> > > [0:RWX:80206000;803fffff]
> > > [0:RWX:8061e000;8083ffff]
> > > [4:RWX:80840000;8087dfff]
> > > [0:RWX:8087e000;831fffff]
> > > [0:RWX:83600000;83ffffff]
> > > [0:RWX:84400000;84ffffff]
> > > [0:RWX:85001000;85ffffff]
> > > [0:RWX:8600a000;86109fff]
> > > [4:RWX:8610a000;88c03fff]
> > > [0:RWX:88c04000;90ffffff]
> > > [4:---:91000000;91000fff]
> > > [0:RWX:91001000;bfffffff]
> > > [0:RWX:c0800000;cfffffff]
> > > [0:RWX:d0001000;ff7fffff]
> > > [0:RWX:ffa00000;ffffffff]
> > > [0:RWX:880000000;8d27fffff]
> > > IOMEM:----------------------
> > > [0:RW-:0;7fffffff]
> > > [0:RW-:83200000;835fffff]
> > > [0:RW-:84000000;843fffff]
> > > [0:RW-:85000000;85000fff]
> > > [0:RW-:c0000000;c07fffff]
> > > [0:RW-:d0000000;d0000fff]
> > > [0:RW-:ff800000;ff9fffff]
> > > [0:RW-:100000000;87fffffff]
> > > [0:RW-:8e0000000;ffffffffffffffff]
> > > MOE: Hello world
> > > MOE: found 3383848 KByte free memory
> > > MOE: found RAM from 8000f000 to 8d2800000
> > > MOE: allocated 34088 KByte for the page array @0x8087e000
> > > MOE: virtual user address space [0-ffffffffff]
> > > MOE: cmdline: moe rom/uvmm-io.ned
> > > MOE: rom name space cap -> [C:103000]
> > > MOE: rwfs name space cap -> [C:105000]
> > >   ROMFS: [8610a000-861fd590] [C:107000] uvmm
> > >   ROMFS: [861fe000-86219538] [C:109000] l4re
> > >   ROMFS: [8621a000-862a2aa8] [C:10b000] ned
> > >   ROMFS: [862a3000-862b0385] [C:10d000] s32g2xxa-evb.dtb1
> > >   ROMFS: [862b1000-87bc4a53] [C:10f000]
> > > fsl-image-dom0less-s32g274aevb.cpio.gz
> > >   ROMFS: [87bc5000-87bc6219] [C:111000] vmm.lua
> > >   ROMFS: [87bc7000-87bc729b] [C:113000] uvmm-io.ned
> > >   ROMFS: [87bc8000-889a8808] [C:115000] Image
> > >   ROMFS: [889a9000-889eefb0] [C:117000] cons
> > >   ROMFS: [889ef000-88c01a88] [C:119000] io
> > >   ROMFS: [88c02000-88c021f8] [C:11b000] io.cfg
> > >   ROMFS: [88c03000-88c0308f] [C:11d000] vm_hw.vbus
> > >   ROMFS: [80000000-8000e000] [C:11f000] .fdt
> > > MOE: Starting: rom/ned rom/uvmm-io.ned
> > > MOE: loading 'rom/ned'
> > > Ned says: Hi World!
> > > Ned: loading file: 'rom/uvmm-io.ned'
> > > Console Server
> > > cons>
> > > Created vcon channel: io [420010]
> > > cons>
> > > io      | Io service
> > > io      | Verboseness level: 7
> > > io      | unused physical memory space:
> > >
> > > Created vcon channel: vm1 [421010]
> > > cons>
> > > io      |   [00000000000000-00000033ffffff]
> > >
> > > Created vcon channel: mon1 [422010]
> > > cons>
> > > io      |   [000000340a0000-0000007fffffff]
> > > io      |   [00000100000000-0000087fffffff]
> > > io      |   [000008e0000000-ffffffffffffffff]
> > > io      | no 'iommu' capability found, using CPU-phys for DMA
> > > io      | Loading: config 'rom/io.cfg'
> > > io      | Loading: config 'rom/vm_hw.vbus'
> > > io      | Add IRQ resources to vbus: IRQ
> >  [00000000000007-00000000000007
> > > 1] level high (align=0 flags=300001)
> > > io      | Add IRQ resources to vbus: IRQ
> >  [00000000000079-00000000000079
> > > 1] raising edge (align=0 flags=100001)
> > > io      | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE]
> > > io      |   Resources: ==== start ====
> > > io      |   Resources: ===== end =====
> > > io      |   L4ICU: [N2Vi6Sw_icuE]
> > > io      |     Resources: ==== start ====
> > > io      |     Resources: ===== end =====
> > > io      |   PMU: [N2Vi9Proxy_devE]
> > > io      |     Resources: ==== start ====
> > > io      |     IRQ     [00000000000007-00000000000007 1] level high
> > (align=0
> > > flags=300001)
> > > io      |     Resources: ===== end =====
> > > io      |   UART0: [N2Vi9Proxy_devE]
> > > io      |     Resources: ==== start ====
> > > io      |     IRQ     [00000000000079-00000000000079 1] raising edge
> > > (align=0 flags=100001)
> > > io      |     IOMEM   [00000000002000-00000000003000 1001] 32-bit
> > non-pref
> > > (align=1000 flags=300002)
> > > io      |     Resources: ===== end =====
> > > io      | Real Hardware -----------------------------------
> > > io      | System Bus:
> > > io      |   Resources: ==== start ====
> > > io      |   DMADOM  [00000000000000-00000000000000 1] (align=0 flags=6)
> > > io      |   Resources: ===== end =====
> > > io      |   pmu:
> > > io      |     compatible= { "arm,armv8-pmuv3" }
> > > io      |     Clients: ===== start ====
> > > io      |       PMU: [N2Vi9Proxy_devE]
> > > io      |     Clients: ===== end ====
> > > io      |     Resources: ==== start ====
> > > io      |     IRQ     [00000000000007-00000000000007 1] level high
> > (align=0
> > > flags=300001)
> > > io      |     Resources: ===== end =====
> > > io      |   uart0:
> > > io      |     compatible= { "arm,pl011" }
> > > io      |     Clients: ===== start ====
> > > io      |       UART0: [N2Vi9Proxy_devE]
> > > io      |     Clients: ===== end ====
> > > io      |     Resources: ==== start ====
> > > io      |     IRQ     [00000000000079-00000000000079 1] raising edge
> > > (align=0 flags=100001)
> > > io      |     IOMEM   [00000000002000-00000000003000 1001] 32-bit
> > non-pref
> > > (align=1000 flags=300002)
> > > io      |     Resources: ===== end =====
> > > io      | warning: could not register control interface at cap
> > > 'platform_ctl'
> > > io      | Ready. Waiting for request.
> > > io      | vbus vm_hw does not support a global DMA domain
> > > vm1     | VMM[main]: Hello out there.
> > > vm1     | VMM[ram]: No memory nodes found, setting up default region
> > > vm1     | Command line: console=ttyAMA0 earlyprintk=1 rdinit=/init
> > > vm1     | VMM[]: virtio_net@10000.l4vmm,virtiocap: capability net is
> > > invalid.
> > > vm1     | VMM[vm]: Device creation for virtual device virtio_net@10000
> > > failed. Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pmu' IRQ 23.
> > > vm1     | VMM[vm]: Device creation for pmu failed. Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'shm@c0000000
> > '.reg[0]
> > > (0xc0000000-0xc03fffff).
> > > vm1     | VMM[vm]: Device creation for shm@c0000000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'shm@c0400000
> > '.reg[0]
> > > (0xc0400000-0xc07fffff).
> > > vm1     | VMM[vm]: Device creation for shm@c0400000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000000
> > '.reg[0]
> > > (0xd0000000-0xd000007f).
> > > vm1     | VMM[vm]: Device creation for shm@d0000000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'shm@d0000080
> > '.reg[0]
> > > (0xd0000080-0xd00000ff).
> > > vm1     | VMM[vm]: Device creation for shm@d0000080 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'shm@84000000
> > '.reg[0]
> > > (0x84000000-0x843fffff).
> > > vm1     | VMM[vm]: Device creation for shm@84000000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'pfebufs@34000000'.reg[0]
> > > (0x34000000-0x3407ffff).
> > > vm1     | VMM[vm]: Device creation for pfebufs@34000000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'pfebufs@34080000'.reg[0]
> > > (0x34080000-0x3409ffff).
> > > vm1     | VMM[vm]: Device creation for pfebufs@34080000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'pfebufs@83200000'.reg[0]
> > > (0x83200000-0x835dffff).
> > > vm1     | VMM[vm]: Device creation for pfebufs@83200000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'pfebufs@835e0000'.reg[0]
> > > (0x835e0000-0x835fffff).
> > > vm1     | VMM[vm]: Device creation for pfebufs@835e0000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'ddr@85000000
> > '.reg[0]
> > > (0x85000000-0x85000fff).
> > > vm1     | VMM[vm]: Device creation for ddr@85000000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'scmi' IRQ 332.
> > > vm1     | VMM[vm]: Device creation for scmi failed. Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'rtc@40060000
> > '.reg[0]
> > > (0x40060000-0x40060fff).
> > > vm1     | VMM[vm]: Device creation for rtc@40060000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'syscon@4007c000'.reg[0]
> > > (0x4007c000-0x4007c0ff).
> > > vm1     | VMM[vm]: Device creation for syscon@4007c000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'ddr_gpr@4007c600'.reg[0]
> > > (0x4007c600-0x4007c61f).
> > > vm1     | VMM[vm]: Device creation for ddr_gpr@4007c600 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'nvram@4009c000'.reg[0]
> > > (0x4009c000-0x4009c00f).
> > > vm1     | VMM[vm]: Device creation for nvram@4009c000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'siul2-pinctrl@4009c240'.reg[0] (0x4009c240-0x4009c3d7).
> > > vm1     | VMM[vm]: Device creation for siul2-pinctrl@4009c240 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'siul2-gpio@4009d700'.reg[0] (0x4009d700-0x4009d70f).
> > > vm1     | VMM[vm]: Device creation for siul2-gpio@4009d700 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'nvram@44010000'.reg[0]
> > > (0x44010000-0x4401000f).
> > > vm1     | VMM[vm]: Device creation for nvram@44010000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'ocotp@400a4000'.reg[0]
> > > (0x400a4000-0x400a43ff).
> > > vm1     | VMM[vm]: Device creation for ocotp@400a4000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'tmu@400a8000
> > '.reg[0]
> > > (0x400a8000-0x400aafff).
> > > vm1     | VMM[vm]: Device creation for tmu@400a8000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'watchdog@4010c000'.reg[0]
> > > (0x4010c000-0x4010cfff).
> > > vm1     | VMM[vm]: Device creation for watchdog@4010c000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'stm@4011c000
> > '.reg[0]
> > > (0x4011c000-0x4011efff).
> > > vm1     | VMM[vm]: Device creation for stm@4011c000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'stm@40120000
> > '.reg[0]
> > > (0x40120000-0x40122fff).
> > > vm1     | VMM[vm]: Device creation for stm@40120000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'spi@40134000
> > '.reg[0]
> > > (0x0-0x1fffffff).
> > > vm1     | VMM[vm]: Device creation for spi@40134000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'dma-controller@40144000'.reg[0] (0x40144000-0x40167fff).
> > > vm1     | VMM[vm]: Device creation for dma-controller@40144000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pit@40188000
> > '.reg[0]
> > > (0x40188000-0x4018afff).
> > > vm1     | VMM[vm]: Device creation for pit@40188000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'mscm@40198000
> > '.reg[0]
> > > (0x40198000-0x40198fff).
> > > vm1     | VMM[vm]: Device creation for mscm@40198000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'flexcan@401b4000'.reg[0]
> > > (0x401b4000-0x401bdfff).
> > > vm1     | VMM[vm]: Device creation for flexcan@401b4000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'serial@401c8000'.reg[0]
> > > (0x401c8000-0x401cafff).
> > > vm1     | VMM[vm]: Device creation for serial@401c8000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'serial@401cc000'.reg[0]
> > > (0x401cc000-0x401cefff).
> > > vm1     | VMM[vm]: Device creation for serial@401cc000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'spi@401d8000
> > '.reg[0]
> > > (0x401d8000-0x401d8fff).
> > > vm1     | VMM[vm]: Device creation for spi@401d8000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e4000
> > '.reg[0]
> > > (0x401e4000-0x401e4fff).
> > > vm1     | VMM[vm]: Device creation for i2c@401e4000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'i2c@401e8000
> > '.reg[0]
> > > (0x401e8000-0x401e8fff).
> > > vm1     | VMM[vm]: Device creation for i2c@401e8000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'i2c@401ec000
> > '.reg[0]
> > > (0x401ec000-0x401ecfff).
> > > vm1     | VMM[vm]: Device creation for i2c@401ec000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pwm@401f4000
> > '.reg[0]
> > > (0x401f4000-0x401f4fff).
> > > vm1     | VMM[vm]: Device creation for pwm@401f4000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'adc@401f8000
> > '.reg[0]
> > > (0x401f8000-0x401f8fff).
> > > vm1     | VMM[vm]: Device creation for adc@401f8000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'watchdog@40200000'.reg[0]
> > > (0x40200000-0x40200fff).
> > > vm1     | VMM[vm]: Device creation for watchdog@40200000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'watchdog@40204000'.reg[0]
> > > (0x40204000-0x40204fff).
> > > vm1     | VMM[vm]: Device creation for watchdog@40204000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'watchdog@40208000'.reg[0]
> > > (0x40208000-0x40208fff).
> > > vm1     | VMM[vm]: Device creation for watchdog@40208000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'mu0b@40210000
> > '.reg[0]
> > > (0x40210000-0x40210fff).
> > > vm1     | VMM[vm]: Device creation for mu0b@40210000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'mu1b@40211000
> > '.reg[0]
> > > (0x40211000-0x40211fff).
> > > vm1     | VMM[vm]: Device creation for mu1b@40211000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'mu2b@40212000
> > '.reg[0]
> > > (0x40212000-0x40212fff).
> > > vm1     | VMM[vm]: Device creation for mu2b@40212000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'mu3b@40213000
> > '.reg[0]
> > > (0x40213000-0x40213fff).
> > > vm1     | VMM[vm]: Device creation for mu3b@40213000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'stm@40228000
> > '.reg[0]
> > > (0x40228000-0x4022afff).
> > > vm1     | VMM[vm]: Device creation for stm@40228000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'dma-controller@40244000'.reg[0] (0x40244000-0x40267fff).
> > > vm1     | VMM[vm]: Device creation for dma-controller@40244000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pit@40288000
> > '.reg[0]
> > > (0x40288000-0x4028afff).
> > > vm1     | VMM[vm]: Device creation for pit@40288000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'flexcan@402a8000'.reg[0]
> > > (0x402a8000-0x402b1fff).
> > > vm1     | VMM[vm]: Device creation for flexcan@402a8000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'flexcan@402b2000'.reg[0]
> > > (0x402b2000-0x402bbfff).
> > > vm1     | VMM[vm]: Device creation for flexcan@402b2000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'serial@402bc000'.reg[0]
> > > (0x402bc000-0x402befff).
> > > vm1     | VMM[vm]: Device creation for serial@402bc000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'spi@402d0000
> > '.reg[0]
> > > (0x402d0000-0x402d0fff).
> > > vm1     | VMM[vm]: Device creation for spi@402d0000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'i2c@402dc000
> > '.reg[0]
> > > (0x402dc000-0x402dcfff).
> > > vm1     | VMM[vm]: Device creation for i2c@402dc000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pwm@402e4000
> > '.reg[0]
> > > (0x402e4000-0x402e4fff).
> > > vm1     | VMM[vm]: Device creation for pwm@402e4000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'adc@402e8000
> > '.reg[0]
> > > (0x402e8000-0x402e8fff).
> > > vm1     | VMM[vm]: Device creation for adc@402e8000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'mmc@402f0000
> > '.reg[0]
> > > (0x402f0000-0x402f0fff).
> > > vm1     | VMM[vm]: Device creation for mmc@402f0000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'fccu@4030c000
> > '.reg[0]
> > > (0x4030c000-0x4030efff).
> > > vm1     | VMM[vm]: Device creation for fccu@4030c000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'ethernet@4033c000'.reg[0]
> > > (0x4033c000-0x4033dfff).
> > > vm1     | VMM[vm]: Device creation for ethernet@4033c000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'ddr_errata@403c0000'.reg[0] (0x403c0000-0x403c00ff).
> > > vm1     | VMM[vm]: Device creation for ddr_errata@403c0000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'ddr-perf@403e0000'.reg[0]
> > > (0x403e0000-0x403e00ff).
> > > vm1     | VMM[vm]: Device creation for ddr-perf@403e0000 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pcie@40400000
> > '.reg[0]
> > > (0x40400000-0x40400fff).
> > > vm1     | VMM[vm]: Device creation for pcie@40400000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'serdes@40480000'.reg[0]
> > > (0x40480000-0x40480107).
> > > vm1     | VMM[vm]: Device creation for serdes@40480000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pcie@44100000
> > '.reg[0]
> > > (0x44100000-0x44100fff).
> > > vm1     | VMM[vm]: Device creation for pcie@44100000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'serdes@44180000'.reg[0]
> > > (0x44180000-0x44180107).
> > > vm1     | VMM[vm]: Device creation for serdes@44180000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pfe@46000000
> > '.reg[0]
> > > (0x46000000-0x46ffffff).
> > > vm1     | VMM[vm]: Device creation for pfe@46000000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'llce_dte_sram@43000000'.reg[0] (0x43000000-0x43001fff).
> > > vm1     | VMM[vm]: Device creation for llce_dte_sram@43000000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'llce_ppe_rx_sram@43100000'.reg[0] (0x43100000-0x43107fff).
> > > vm1     | VMM[vm]: Device creation for llce_ppe_rx_sram@43100000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'llce_ppe_tx_sram@43200000'.reg[0] (0x43200000-0x43207fff).
> > > vm1     | VMM[vm]: Device creation for llce_ppe_tx_sram@43200000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'llce_frpe_sram@43300000'.reg[0] (0x43300000-0x4330ffff).
> > > vm1     | VMM[vm]: Device creation for llce_frpe_sram@43300000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'llce_shmem@43800000'.reg[0] (0x43800000-0x4384ffff).
> > > vm1     | VMM[vm]: Device creation for llce_shmem@43800000 failed.
> > > Disabling device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'llce@43a00000
> > '.reg[0]
> > > (0x43ff8000-0x43ffbfff).
> > > vm1     | VMM[vm]: Device creation for llce@43a00000 failed. Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > 'usbmisc@44064200'.reg[0]
> > > (0x44064200-0x440643ff).
> > > vm1     | VMM[vm]: Device creation for usbmisc@44064200 failed.
> > Disabling
> > > device.
> > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'usb@44064000
> > '.reg[0]
> > > (0x44064000-0x440641ff).
> > > vm1     | VMM[vm]: Device creation for usb@44064000 failed. Disabling
> > > device.
> > > vm1     | VMM[ram]: Cleaning caches for device tree [21ff2000-21fff728]
> > > ([b11f2000])
> > > io      | new iomem region: p=00000000000000 v=00000000400000 s=400000
> > > (bmb=0x39bc0)
> > > io      | map mem: p=00000000002000 v=00000000402000 s=2000 uncached:
> > > done(0)
> > > vm1     | VMM[]: Starting Cpu0 @ 0x91200000 in 64Bit mode (handler @
> > > 1078e08, stack: 801ffba0, task: 420000, mpidr: 80000000 (orig: 80000000)
> > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > vm1     | VMM[]: Starting Cpu1 @ 0x91ae7254 in 64Bit mode (handler @
> > > 1078e08, stack: 400f20, task: 420000, mpidr: 80000001 (orig: 80000000)
> > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > vm1     | VMM[]: Starting Cpu2 @ 0x91ae7254 in 64Bit mode (handler @
> > > 1078e08, stack: 5fff20, task: 420000, mpidr: 80000100 (orig: 80000000)
> > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > vm1     | VMM[]: Starting Cpu3 @ 0x91ae7254 in 64Bit mode (handler @
> > > 1078e08, stack: 7fef20, task: 420000, mpidr: 80000101 (orig: 80000000)
> > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > vm1     | [    0.000000] Booting Linux on physical CPU 0x0000000000
> > > [0x410fd034]
> > > vm1     | [    0.000000] Linux version 5.15.119-rt65+ge18f05316cd9
> > > (oe-user@oe-host) (aarch64-fsl-linux-gcc (GCC) 11.3.0, GNU ld (GNU
> > > Binutils) 2.38.20220708) #1 SMP PREEMPT Fri Sep 15 16:46:03 UTC 2023
> > > vm1     | [    0.000000] Machine model: NXP S32G2XXX-EVB
> > > vm1     | [    0.000000] Zone ranges:
> > > vm1     | [    0.000000]   DMA      [mem
> > > 0x0000000091200000-0x00000000b11fffff]
> > > vm1     | [    0.000000]   DMA32    empty
> > > vm1     | [    0.000000]   Normal   empty
> > > vm1     | [    0.000000] Movable zone start for each node
> > > vm1     | [    0.000000] Early memory node ranges
> > > vm1     | [    0.000000]   node   0: [mem
> > > 0x0000000091200000-0x00000000b11fffff]
> > > vm1     | [    0.000000] Initmem setup node 0 [mem
> > > 0x0000000091200000-0x00000000b11fffff]
> > > vm1     | [    0.000000] On node 0, zone DMA: 4608 pages in unavailable
> > > ranges
> > > vm1     | [    0.000000] On node 0, zone DMA: 28160 pages in unavailable
> > > ranges
> > > vm1     | [    0.000000] cma: Reserved 256 MiB at 0x000000009e800000
> > > vm1     | [    0.000000] psci: probing for conduit method from DT.
> > > vm1     | [    0.000000] psci: PSCIv1.0 detected in firmware.
> > > vm1     | [    0.000000] psci: Using standard PSCI v0.2 function IDs
> > > vm1     | [    0.000000] psci: Trusted OS migration not required
> > > vm1     | [    0.000000] psci: SMC Calling Convention v1.0
> > > vm1     | [    0.000000] percpu: Embedded 18 pages/cpu s34200 r8192
> > d31336
> > > u73728
> > > vm1     | [    0.000000] Detected VIPT I-cache on CPU0
> > > vm1     | [    0.000000] CPU features: detected: GIC system register CPU
> > > interface
> > > vm1     | [    0.000000] CPU features: detected: ARM erratum 845719
> > > vm1     | [    0.000000] CPU features: detected: ARM errata 1165522,
> > > 1319367, 1530923, or 1530924
> > > vm1     | [    0.000000] Built 1 zonelists, mobility grouping on.  Total
> > > pages: 129280
> > > vm1     | [    0.000000] Kernel command line: console=ttyAMA0
> > earlyprintk=1
> > > rdinit=/init
> > > vm1     | [    0.000000] Unknown kernel command line parameters
> > > "earlyprintk=1", will be passed to user space.
> > > vm1     | [    0.000000] Dentry cache hash table entries: 65536 (order:
> > 7,
> > > 524288 bytes, linear)
> > > vm1     | [    0.000000] Inode-cache hash table entries: 32768 (order: 6,
> > > 262144 bytes, linear)
> > > vm1     | [    0.000000] mem auto-init: stack:off, heap alloc:off, heap
> > > free:off
> > > vm1     | [    0.000000] Memory: 207244K/524288K available (9088K kernel
> > > code, 642K rwdata, 3036K rodata, 1344K init, 220K bss, 54900K reserved,
> > > 262144K cma-reserved)
> > > vm1     | [    0.000000] rcu: Preemptible hierarchical RCU
> > implementation.
> > > vm1     | [    0.000000] rcu:   RCU event tracing is enabled.
> > > vm1     | [    0.000000] rcu:   RCU restricting CPUs from NR_CPUS=8 to
> > > nr_cpu_ids=4.
> > > vm1     | [    0.000000]        Trampoline variant of Tasks RCU enabled.
> > > vm1     | [    0.000000]        Tracing variant of Tasks RCU enabled.
> > > vm1     | [    0.000000] rcu: RCU calculated value of
> > scheduler-enlistment
> > > delay is 25 jiffies.
> > > vm1     | [    0.000000] rcu: Adjusting geometry for rcu_fanout_leaf=16,
> > > nr_cpu_ids=4
> > > vm1     | [    0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated irqs: 0
> > > vm1     | [    0.000000] GICv3: 988 SPIs implemented
> > > vm1     | [    0.000000] GICv3: 0 Extended SPIs implemented
> > > vm1     | [    0.000000] GICv3: Distributor has no Range Selector support
> > > vm1     | [    0.000000] Root IRQ handler: gic_handle_irq
> > > vm1     | [    0.000000] GICv3: 16 PPIs implemented
> > > vm1     | [    0.000000] GICv3: CPU0: found redistributor 0 region
> > > 0:0x0000000050880000
> > > vm1     | [    0.000000] arch_timer: cp15 timer(s) running at 5.00MHz
> > > (virt).
> > > vm1     | [    0.000000] clocksource: arch_sys_counter: mask:
> > > 0xffffffffffffff max_cycles: 0x127350b88, max_idle_ns: 440795202120 ns
> > > vm1     | [    0.000001] sched_clock: 56 bits at 5MHz, resolution 200ns,
> > > wraps every 4398046511100ns
> > > vm1     | [    0.000638] Console: colour dummy device 80x25
> > > vm1     | [    0.000683] Calibrating delay loop (skipped), value
> > calculated
> > > using timer frequency.. 10.00 BogoMIPS (lpj=20000)
> > > vm1     | [    0.000697] pid_max: default: 32768 minimum: 301
> > > vm1     | [    0.000887] Mount-cache hash table entries: 1024 (order: 1,
> > > 8192 bytes, linear)
> > > vm1     | [    0.000899] Mountpoint-cache hash table entries: 1024
> > (order:
> > > 1, 8192 bytes, linear)
> > > vm1     | [    0.002629] rcu: Hierarchical SRCU implementation.
> > > vm1     | [    0.003552] smp: Bringing up secondary CPUs ...
> > > vm1     | [    0.017897] Detected VIPT I-cache on CPU1
> > > vm1     | [    0.017963] GICv3: CPU1: found redistributor 1 region
> > > 0:0x00000000508a0000
> > > vm1     | [    0.018124] CPU1: Booted secondary processor 0x0000000001
> > > [0x410fd034]
> > > vm1     | [    0.038864] Detected VIPT I-cache on CPU2
> > > vm1     | [    0.038925] GICv3: CPU2: found redistributor 100 region
> > > 0:0x00000000508c0000
> > > vm1     | [    0.039068] CPU2: Booted secondary processor 0x0000000100
> > > [0x410fd034]
> > > vm1     | [    0.059640] Detected VIPT I-cache on CPU3
> > > vm1     | [    0.059684] GICv3: CPU3: found redistributor 101 region
> > > 0:0x00000000508e0000
> > > vm1     | [    0.059796] CPU3: Booted secondary processor 0x0000000101
> > > [0x410fd034]
> > > vm1     | [    0.066434] smp: Brought up 1 node, 4 CPUs
> > > vm1     | [    0.066445] SMP: Total of 4 processors activated.
> > > vm1     | [    0.066450] CPU features: detected: 32-bit EL0 Support
> > > vm1     | [    0.066456] CPU features: detected: CRC32 instructions
> > > vm1     | [    0.076601] CPU: All CPU(s) started at EL1
> > > vm1     | [    0.076655] alternatives: patching kernel code
> > > vm1     | [    0.077714] devtmpfs: initialized
> > > vm1     | [    0.086718] clocksource: jiffies: mask: 0xffffffff
> > max_cycles:
> > > 0xffffffff, max_idle_ns: 7645041785100000 ns
> > > vm1     | [    0.086746] futex hash table entries: 1024 (order: 4, 65536
> > > bytes, linear)
> > > vm1     | [    0.095444] pinctrl core: initialized pinctrl subsystem
> > > vm1     | [    0.096442] NET: Registered PF_NETLINK/PF_ROUTE protocol
> > family
> > > vm1     | [    0.098184] DMA: preallocated 128 KiB GFP_KERNEL pool for
> > > atomic allocations
> > > vm1     | [    0.098363] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA
> > pool
> > > for atomic allocations
> > > vm1     | [    0.098516] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA32
> > > pool for atomic allocations
> > > vm1     | [    0.098979] thermal_sys: Registered thermal governor
> > > 'step_wise'
> > > vm1     | [    0.099686] hw-breakpoint: found 6 breakpoint and 4
> > watchpoint
> > > registers.
> > > vm1     | [    0.100036] ASID allocator initialised with 65536 entries
> > > vm1     | [    0.100142] Serial: AMBA PL011 UART driver
> > > vm1     | [    0.101471] 12000.pl011_uart: ttyAMA0 at MMIO 0x12000 (irq =
> > > 14, base_baud = 0) is a PL011 rev3
> > > vm1     | [    0.101515] printk: console [ttyAMA0] enabled
> > > vm1     | [    0.108150] HugeTLB registered 1.00 GiB page size,
> > > pre-allocated 0 pages
> > > vm1     | [    0.108163] HugeTLB registered 32.0 MiB page size,
> > > pre-allocated 0 pages
> > > vm1     | [    0.108168] HugeTLB registered 2.00 MiB page size,
> > > pre-allocated 0 pages
> > > vm1     | [    0.108175] HugeTLB registered 64.0 KiB page size,
> > > pre-allocated 0 pages
> > > vm1     | [    0.110016] vgaarb: loaded
> > > vm1     | [    0.110204] SCSI subsystem initialized
> > > vm1     | [    0.110378] usbcore: registered new interface driver usbfs
> > > vm1     | [    0.110412] usbcore: registered new interface driver hub
> > > vm1     | [    0.110446] usbcore: registered new device driver usb
> > > vm1     | [    0.110742] pps_core: LinuxPPS API ver. 1 registered
> > > vm1     | [    0.110746] pps_core: Software ver. 5.3.6 - Copyright
> > > 2005-2007 Rodolfo Giometti <giometti@linux.it>
> > > vm1     | [    0.110761] PTP clock support registered
> > > vm1     | [    0.111890] clocksource: Switched to clocksource
> > > arch_sys_counter
> > > vm1     | [    0.120290] NET: Registered PF_INET protocol family
> > > vm1     | [    0.120433] IP idents hash table entries: 8192 (order: 4,
> > > 65536 bytes, linear)
> > > vm1     | [    0.120940] tcp_listen_portaddr_hash hash table entries: 256
> > > (order: 0, 4096 bytes, linear)
> > > vm1     | [    0.120958] Table-perturb hash table entries: 65536 (order:
> > 6,
> > > 262144 bytes, linear)
> > > vm1     | [    0.120970] TCP established hash table entries: 4096 (order:
> > > 3, 32768 bytes, linear)
> > > vm1     | [    0.121009] TCP bind hash table entries: 4096 (order: 4,
> > 65536
> > > bytes, linear)
> > > vm1     | [    0.121084] TCP: Hash tables configured (established 4096
> > bind
> > > 4096)
> > > vm1     | [    0.121170] UDP hash table entries: 256 (order: 1, 8192
> > bytes,
> > > linear)
> > > vm1     | [    0.121192] UDP-Lite hash table entries: 256 (order: 1, 8192
> > > bytes, linear)
> > > vm1     | [    0.121352] NET: Registered PF_UNIX/PF_LOCAL protocol family
> > > vm1     | [    0.122014] RPC: Registered named UNIX socket transport
> > module.
> > > vm1     | [    0.122020] RPC: Registered udp transport module.
> > > vm1     | [    0.122023] RPC: Registered tcp transport module.
> > > vm1     | [    0.122025] RPC: Registered tcp NFSv4.1 backchannel
> > transport
> > > module.
> > > vm1     | [    0.122035] PCI: CLS 0 bytes, default 64
> > > vm1     | [    0.122356] Unpacking initramfs...
> > > vm1     | [    1.620548] Freeing initrd memory: 25676K
> > > vm1     | [    1.625720] workingset: timestamp_bits=62 max_order=17
> > > bucket_order=0
> > > vm1     | [    1.626779] fuse: init (API version 7.34)
> > > vm1     | [    1.626982] NET: Registered PF_ALG protocol family
> > > vm1     | [    1.627045] Block layer SCSI generic (bsg) driver version
> > 0.4
> > > loaded (major 248)
> > > vm1     | [    1.627052] io scheduler mq-deadline registered
> > > vm1     | [    1.627056] io scheduler kyber registered
> > > vm1     | [    1.631965] vcan: Virtual CAN interface driver
> > > vm1     | [    1.631980] slcan: serial line CAN interface driver
> > > vm1     | [    1.631982] slcan: 10 dynamic interface channels.
> > > vm1     | [    1.631990] CAN device driver interface
> > > vm1     | [    1.632058] e100: Intel(R) PRO/100 Network Driver
> > > vm1     | [    1.632061] e100: Copyright(c) 1999-2006 Intel Corporation
> > > vm1     | [    1.632098] e1000: Intel(R) PRO/1000 Network Driver
> > > vm1     | [    1.632102] e1000: Copyright (c) 1999-2006 Intel
> > Corporation.
> > > vm1     | [    1.632138] e1000e: Intel(R) PRO/1000 Network Driver
> > > vm1     | [    1.632141] e1000e: Copyright(c) 1999 - 2015 Intel
> > Corporation.
> > > vm1     | [    1.632171] igb: Intel(R) Gigabit Ethernet Network Driver
> > > vm1     | [    1.632176] igb: Copyright (c) 2007-2014 Intel Corporation.
> > > vm1     | [    1.632523] ehci_hcd: USB 2.0 'Enhanced' Host Controller
> > > (EHCI) Driver
> > > vm1     | [    1.632531] ehci-pci: EHCI PCI platform driver
> > > vm1     | [    1.632753] usbcore: registered new interface driver uas
> > > vm1     | [    1.632791] usbcore: registered new interface driver
> > > usb-storage
> > > vm1     | [    1.633272] i2c_dev: i2c /dev entries driver
> > > vm1     | [    1.633467] sdhci: Secure Digital Host Controller Interface
> > > driver
> > > vm1     | [    1.633470] sdhci: Copyright(c) Pierre Ossman
> > > vm1     | [    1.633472] sdhci-pltfm: SDHCI platform and OF driver helper
> > > vm1     | [    1.633661] usbcore: registered new interface driver usbhid
> > > vm1     | [    1.633666] usbhid: USB HID core driver
> > > vm1     | [    1.634177] NET: Registered PF_INET6 protocol family
> > > vm1     | [    1.635090] Segment Routing with IPv6
> > > vm1     | [    1.635128] In-situ OAM (IOAM) with IPv6
> > > vm1     | [    1.635182] sit: IPv6, IPv4 and MPLS over IPv4 tunneling
> > driver
> > > vm1     | [    1.635654] NET: Registered PF_PACKET protocol family
> > > vm1     | [    1.635859] can: controller area network core
> > > vm1     | [    1.635895] NET: Registered PF_CAN protocol family
> > > vm1     | [    1.635900] can: raw protocol
> > > vm1     | [    1.635906] can: broadcast manager protocol
> > > vm1     | [    1.635933] can: netlink gateway - max_hops=1
> > > vm1     | [    1.635965] 8021q: 802.1Q VLAN Support v1.8
> > > vm1     | [    1.636238] printk: console [ttyAMA0]: printing thread
> > started
> > > vm1     | [    1.707129] uart-pl011 12000.pl011_uart: no DMA platform
> > data
> > > vm1     | [    1.753286] Freeing unused kernel memory: 1344K
> > >
> > >
> > > On Thu, Feb 20, 2025 at 9:48 PM Philipp Eppelt <
> > > philipp.eppelt@kernkonzept.com> wrote:
> > >
> > > > Hi Qiang,
> > > >
> > > > I see these lines in the linux boot output, which make me wonder, if
> > the
> > > > VM has
> > > > enough RAM:
> > > >
> > > >  > vm1     | [    0.000000] cma: Failed to reserve 256 MiB
> > > >  > [...]
> > > >  > vm1     | [    0.112053] Unpacking initramfs...
> > > >  > vm1     | [    0.946302] Initramfs unpacking failed: write error
> > > >  > vm1     | [    0.959998] Freeing initrd memory: 25676K
> > > >
> > > > Please increase the amount of RAM for the VM. Currently, your
> > uvmm-io.ned
> > > > specifies 128MB. Please try 512MB or more.
> > > >
> > > > Cheers,
> > > > Philipp
> > > >
> > > >
> > > > Am 20.02.25 um 12:20 PM schrieb qiang xu:
> > > > > Hi Adam,
> > > > >
> > > > > I would like to sincerely thank you again for your help. According to
> > > > what you
> > > > > said, I have added the UART to the device tree, and I can now see the
> > > > system
> > > > > startup prints. However, it seems that the kernel cannot find the
> > > > rootfs. What
> > > > > should I configure in L4? Have I missed any configurations?
> > > > >
> > > > > fatload mmc 0 0x8000e000 l4re_uvmm-io.uimage
> > > > > 46235855 bytes read in 1971 ms (22.4 MiB/s)
> > > > > => fatload mmc 0 0x80000000 s32g2xxa-evb.dtb1
> > > > > 54149 bytes read in 17 ms (3 MiB/s)
> > > > > => bootm 0x8000e000 - 0x80000000
> > > > > ## Booting kernel from Legacy Image at 8000e000 ...
> > > > >     Image Name:   L4 Image #26
> > > > >     Image Type:   AArch64 Linux Kernel Image (uncompressed)
> > > > >     Data Size:    46235791 Bytes = 44.1 MiB
> > > > >     Load Address: 91000000
> > > > >     Entry Point:  91000000
> > > > >     Verifying Checksum ... OK
> > > > > ## Flattened Device Tree blob at 80000000
> > > > >     Booting using the fdt blob at 0x80000000
> > > > >     Loading Kernel Image
> > > > >     Using Device Tree in place at 0000000080000000, end
> > 0000000080010384
> > > > >     fixup: pfe0 set to 00:01:be:be:ef:11
> > > > >     fixup: pfe1 set to 00:01:be:be:ef:22
> > > > >     fixup: pfe2 set to 00:01:be:be:ef:33
> > > > >
> > > > > Starting kernel ...
> > > > >
> > > > >
> > > > > L4 Bootstrapper
> > > > >    Build: #26 Thu Feb 20 19:07:32 CST 2025, 11.4.0
> > > > >    RAM: 0000000080000000 - 00000000ffffffff: 2097152kB
> > > > >    RAM: 0000000880000000 - 00000008dfffffff: 1572864kB
> > > > >    Total RAM: 3584MB
> > > > >    Scanning fiasco
> > > > >    Scanning sigma0
> > > > >    Scanning moe
> > > > >    Moving up to 15 modules behind 81300000
> > > > >    moving module 00 { 9101f000-910e5fe7 } -> { 8600a000-860d0fe7 }
> > > > [815080]
> > > > >    moving module 01 { 910e6000-910ebcd7 } -> { 860d1000-860d6cd7 }
> > > > [23768]
> > > > >    moving module 02 { 910ec000-9111e6cf } -> { 860d7000-861096cf }
> > > > [206544]
> > > > >    moving module 03 { 9111f000-9121258f } -> { 8610a000-861fd58f }
> > > > [996752]
> > > > >    moving module 04 { 91213000-9122e537 } -> { 861fe000-86219537 }
> > > > [111928]
> > > > >    moving module 05 { 9122f000-912b7aa7 } -> { 8621a000-862a2aa7 }
> > > > [559784]
> > > > >    moving module 06 { 912b8000-912c5384 } -> { 862a3000-862b0384 }
> > > > [54149]
> > > > >    moving module 07 { 912c6000-92bd9a52 } -> { 862b1000-87bc4a52 }
> > > > [26294867]
> > > > >    moving module 08 { 92bda000-92bdb218 } -> { 87bc5000-87bc6218 }
> > [4633]
> > > > >    moving module 09 { 92bdc000-92bdc29a } -> { 87bc7000-87bc729a }
> > [667]
> > > > >    moving module 10 { 92bdd000-939bd807 } -> { 87bc8000-889a8807 }
> > > > [14551048]
> > > > >    moving module 11 { 939be000-93a03faf } -> { 889a9000-889eefaf }
> > > > [286640]
> > > > >    moving module 12 { 93a04000-93c16a87 } -> { 889ef000-88c01a87 }
> > > > [2173576]
> > > > >    moving module 13 { 93c17000-93c171f7 } -> { 88c02000-88c021f7 }
> > [504]
> > > > >    moving module 14 { 93c18000-93c1808e } -> { 88c03000-88c0308e }
> > [143]
> > > > >    Loading fiasco
> > > > >    found node 0 kernel info page (via ELF) at 0x80203000
> > > > >    Loading sigma0
> > > > >    Loading moe
> > > > >    found node 0 kernel options (via ELF) at 0x80204000
> > > > >    Sigma0 config    node: 0   ip:860003f4
> > > > >    Roottask config  node: 0   ip:80841904
> > > > > Regions of list 'regions'
> > > > >      [ 34000000,  3407ffff] {    80000} Arch   pfebufs@34000000
> > > > >      [ 34080000,  3409ffff] {    20000} Arch   pfebufs@34080000
> > > > >      [ 80000000,  8000dfff] {     e000} Root   dtb
> > > > >      [ 8000e000,  8000efff] {     1000} Root   mbi_rt
> > > > >      [ 80201000,  80205847] {     4848} Kern   fiasco
> > > > >      [ 80400000,  8061dfff] {   21e000} Kern   fiasco
> > > > >      [ 80840000,  8087d817] {    3d818} Root   moe
> > > > >      [ 83200000,  835dffff] {   3e0000} Arch   pfebufs@83200000
> > > > >      [ 835e0000,  835fffff] {    20000} Arch   pfebufs@835e0000
> > > > >      [ 84000000,  843fffff] {   400000} Arch   shm@84000000
> > > > >      [ 85000000,  85000fff] {     1000} Arch   ddr@85000000
> > > > >      [ 86000000,  8600946f] {     9470} Sigma0 sigma0
> > > > >      [ 8610a000,  88c0308e] {  2af908f} Root   Module
> > > > >      [ 91000158,  91000187] {       30} Root   cpu_boot
> > > > >      [ 9101e1d0,  9101ecdc] {      b0d} Boot   modinfo
> > > > >      [ c0000000,  c03fffff] {   400000} Arch   shm@c0000000
> > > > >      [ c0400000,  c07fffff] {   400000} Arch   shm@c0400000
> > > > >      [ d0000000,  d000007f] {       80} Arch   shm@d0000000
> > > > >      [ d0000080,  d00000ff] {       80} Arch   shm@d0000080
> > > > >      [ ff800000,  ff9fffff] {   200000} Arch   atf@ff800000
> > > > >    Starting kernel fiasco at 80201190
> > > > > Hello from Startup::stage2
> > > > > Reserved 216 MiB as kernel memory.
> > > > > Number of IRQs available at this GIC: 576
> > > > > CPU0: GIC Redistributor at ffff00480000 for 0x0
> > > > > Detecting PSCI ...
> > > > > Detected PSCI v1.1
> > > > > PSCI: CPU_SUSPEND format original v0.2, does not support OS-initiated
> > > > mode
> > > > > PSCI: TOS: Not present or not required.
> > > > > FPU: Initialize
> > > > > ARM generic timer: freq=5000000 interval=5000 cnt=339090240
> > > > > SERIAL ESC: allocated IRQ 114 for serial uart
> > > > > Not using serial hack in slow timer handler.
> > > > > Welcome to the L4Re Microkernel!
> > > > > L4Re Microkernel on arm-64
> > > > > Rev: unknown compiled with gcc 11.4.0 for NXP S32G    []
> > > > > Build: #12 Tue Feb 18 14:17:13 CST 2025
> > > > >
> > > > > Cache config: ON
> > > > > CPU1: GIC Redistributor at ffff004a0000 for 0x1
> > > > > CPU1: ID_PFR[01]:  01002222 00000000 ID_[DA]FR0: 10305106 00000000
> > > > >        ID_MMFR[04]: 00001122 00000000 00000000 00000000
> > > > > CPU2: GIC Redistributor at ffff004c0000 for 0x100
> > > > > CPU2: ID_PFR[01]:  01002222 00000000 ID_[DA]FR0: 10305106 00000000
> > > > >        ID_MMFR[04]: 00001122 00000000 00000000 00000000
> > > > > CPU3: GIC Redistributor at ffff004e0000 for 0x101
> > > > > Calibrating timer loop...
> > > > > CPU3: ID_PFR[01]:  01002222 00000000 ID_[DA]FR0: 10305106 00000000
> > > > >        ID_MMFR[04]: 00001122 00000000 00000000 00000000
> > > > > Timer calibration done.
> > > > > MDB: use page size: 30
> > > > > MDB: use page size: 21
> > > > > MDB: use page size: 12
> > > > > SIGMA0: Hello!
> > > > >    KIP @ 80203000
> > > > >    allocated 4KB for maintenance structures
> > > > > SIGMA0: Dump of all resource maps
> > > > > RAM:------------------------
> > > > > [4:---:80000000;8000dfff]
> > > > > [4:RWX:8000e000;8000efff]
> > > > > [0:RWX:8000f000;80200fff]
> > > > > [0:RWX:80206000;803fffff]
> > > > > [0:RWX:8061e000;8083ffff]
> > > > > [4:RWX:80840000;8087dfff]
> > > > > [0:RWX:8087e000;831fffff]
> > > > > [0:RWX:83600000;83ffffff]
> > > > > [0:RWX:84400000;84ffffff]
> > > > > [0:RWX:85001000;85ffffff]
> > > > > [0:RWX:8600a000;86109fff]
> > > > > [4:RWX:8610a000;88c03fff]
> > > > > [0:RWX:88c04000;90ffffff]
> > > > > [4:---:91000000;91000fff]
> > > > > [0:RWX:91001000;bfffffff]
> > > > > [0:RWX:c0800000;cfffffff]
> > > > > [0:RWX:d0001000;ff7fffff]
> > > > > [0:RWX:ffa00000;ffffffff]
> > > > > [0:RWX:880000000;8d27fffff]
> > > > > IOMEM:----------------------
> > > > > [0:RW-:0;7fffffff]
> > > > > [0:RW-:83200000;835fffff]
> > > > > [0:RW-:84000000;843fffff]
> > > > > [0:RW-:85000000;85000fff]
> > > > > [0:RW-:c0000000;c07fffff]
> > > > > [0:RW-:d0000000;d0000fff]
> > > > > [0:RW-:ff800000;ff9fffff]
> > > > > [0:RW-:100000000;87fffffff]
> > > > > [0:RW-:8e0000000;ffffffffffffffff]
> > > > > MOE: Hello world
> > > > > MOE: found 3383848 KByte free memory
> > > > > MOE: found RAM from 8000f000 to 8d2800000
> > > > > MOE: allocated 34088 KByte for the page array @0x8087e000
> > > > > MOE: virtual user address space [0-ffffffffff]
> > > > > MOE: cmdline: moe rom/uvmm-io.ned
> > > > > MOE: rom name space cap -> [C:103000]
> > > > > MOE: rwfs name space cap -> [C:105000]
> > > > >    ROMFS: [8610a000-861fd590] [C:107000] uvmm
> > > > >    ROMFS: [861fe000-86219538] [C:109000] l4re
> > > > >    ROMFS: [8621a000-862a2aa8] [C:10b000] ned
> > > > >    ROMFS: [862a3000-862b0385] [C:10d000] s32g2xxa-evb.dtb1
> > > > >    ROMFS: [862b1000-87bc4a53] [C:10f000]
> > > > fsl-image-dom0less-s32g274aevb.cpio.gz
> > > > >    ROMFS: [87bc5000-87bc6219] [C:111000] vmm.lua
> > > > >    ROMFS: [87bc7000-87bc729b] [C:113000] uvmm-io.ned
> > > > >    ROMFS: [87bc8000-889a8808] [C:115000] Image
> > > > >    ROMFS: [889a9000-889eefb0] [C:117000] cons
> > > > >    ROMFS: [889ef000-88c01a88] [C:119000] io
> > > > >    ROMFS: [88c02000-88c021f8] [C:11b000] io.cfg
> > > > >    ROMFS: [88c03000-88c0308f] [C:11d000] vm_hw.vbus
> > > > >    ROMFS: [80000000-8000e000] [C:11f000] .fdt
> > > > > MOE: Starting: rom/ned rom/uvmm-io.ned
> > > > > MOE: loading 'rom/ned'
> > > > > Ned says: Hi World!
> > > > > Ned: loading file: 'rom/uvmm-io.ned'
> > > > > Console Server
> > > > > cons>
> > > > > Created vcon channel: io [420010]
> > > > > cons>
> > > > > io      | Io service
> > > > > io      | Verboseness level: 7
> > > > > io      | unused physical memory space:
> > > > >
> > > > > Created vcon channel: vm1 [421010]
> > > > > cons>
> > > > > io      |   [00000000000000-00000033ffffff]
> > > > >
> > > > > Created vcon channel: mon1 [422010]
> > > > > cons>
> > > > > io      |   [000000340a0000-0000007fffffff]
> > > > > io      |   [00000100000000-0000087fffffff]
> > > > > io      |   [000008e0000000-ffffffffffffffff]
> > > > > io      | no 'iommu' capability found, using CPU-phys for DMA
> > > > > io      | Loading: config 'rom/io.cfg'
> > > > > io      | Loading: config 'rom/vm_hw.vbus'
> > > > > io      | Add IRQ resources to vbus: IRQ
> > > > [00000000000007-00000000000007 1]
> > > > > level high (align=0 flags=3000)
> > > > > io      | Add IRQ resources to vbus: IRQ
> > > > [00000000000079-00000000000079 1]
> > > > > raising edge (align=0 flags=10)
> > > > > io      | vm_hw: [N12_GLOBAL__N_112Virtual_sbusE]
> > > > > io      |   Resources: ==== start ====
> > > > > io      |   Resources: ===== end =====
> > > > > io      |   L4ICU: [N2Vi6Sw_icuE]
> > > > > io      |     Resources: ==== start ====
> > > > > io      |     Resources: ===== end =====
> > > > > io      |   PMU: [N2Vi9Proxy_devE]
> > > > > io      |     Resources: ==== start ====
> > > > > io      |     IRQ     [00000000000007-00000000000007 1] level high
> > > > (align=0
> > > > > flags=300001)
> > > > > io      |     Resources: ===== end =====
> > > > > io      |   UART0: [N2Vi9Proxy_devE]
> > > > > io      |     Resources: ==== start ====
> > > > > io      |     IRQ     [00000000000079-00000000000079 1] raising edge
> > > > (align=0
> > > > > flags=100001)
> > > > > io      |     IOMEM   [00000000002000-00000000003000 1001] 32-bit
> > > > non-pref
> > > > > (align=1000 flags=300002)
> > > > > io      |     Resources: ===== end =====
> > > > > io      | Real Hardware -----------------------------------
> > > > > io      | System Bus:
> > > > > io      |   Resources: ==== start ====
> > > > > io      |   DMADOM  [00000000000000-00000000000000 1] (align=0
> > flags=6)
> > > > > io      |   Resources: ===== end =====
> > > > > io      |   pmu:
> > > > > io      |     compatible= { "arm,armv8-pmuv3" }
> > > > > io      |     Clients: ===== start ====
> > > > > io      |       PMU: [N2Vi9Proxy_devE]
> > > > > io      |     Clients: ===== end ====
> > > > > io      |     Resources: ==== start ====
> > > > > io      |     IRQ     [00000000000007-00000000000007 1] level high
> > > > (align=0
> > > > > flags=300001)
> > > > > io      |     Resources: ===== end =====
> > > > > io      |   uart0:
> > > > > io      |     compatible= { "arm,pl011" }
> > > > > io      |     Clients: ===== start ====
> > > > > io      |       UART0: [N2Vi9Proxy_devE]
> > > > > io      |     Clients: ===== end ====
> > > > > io      |     Resources: ==== start ====
> > > > > io      |     IRQ     [00000000000079-00000000000079 1] raising edge
> > > > (align=0
> > > > > flags=100001)
> > > > > io      |     IOMEM   [00000000002000-00000000003000 1001] 32-bit
> > > > non-pref
> > > > > (align=1000 flags=300002)
> > > > > io      |     Resources: ===== end =====
> > > > > io      | warning: could not register control interface at cap
> > > > 'platform_ctl'
> > > > > io      | Ready. Waiting for request.
> > > > > io      | vbus vm_hw does not support a global DMA domain
> > > > > vm1     | VMM[main]: Hello out there.
> > > > > vm1     | VMM[ram]: No memory nodes found, setting up default region
> > > > > vm1     | Command line: console=ttyAMA0 earlyprintk=1 rdinit=/init
> > > > > vm1     | VMM[]: virtio_net@10000.l4vmm,virtiocap: capability net is
> > > > invalid.
> > > > > vm1     | VMM[vm]: Device creation for virtual device
> > virtio_net@10000
> > > > failed.
> > > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'pmu' IRQ
> > 23.
> > > > > vm1     | VMM[vm]: Device creation for pmu failed. Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'shm@c0000000'.reg[0]
> > > >
> > > > > (0xc0000000-0xc03fffff).
> > > > > vm1     | VMM[vm]: Device creation for shm@c0000000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'shm@c0400000'.reg[0]
> > > >
> > > > > (0xc0400000-0xc07fffff).
> > > > > vm1     | VMM[vm]: Device creation for shm@c0400000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'shm@d0000000'.reg[0]
> > > >
> > > > > (0xd0000000-0xd000007f).
> > > > > vm1     | VMM[vm]: Device creation for shm@d0000000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'shm@d0000080'.reg[0]
> > > >
> > > > > (0xd0000080-0xd00000ff).
> > > > > vm1     | VMM[vm]: Device creation for shm@d0000080 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'shm@84000000'.reg[0]
> > > >
> > > > > (0x84000000-0x843fffff).
> > > > > vm1     | VMM[vm]: Device creation for shm@84000000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'pfebufs@34000000'.reg[0] (0x34000000-0x3407ffff).
> > > > > vm1     | VMM[vm]: Device creation for pfebufs@34000000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'pfebufs@34080000'.reg[0] (0x34080000-0x3409ffff).
> > > > > vm1     | VMM[vm]: Device creation for pfebufs@34080000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'pfebufs@83200000'.reg[0] (0x83200000-0x835dffff).
> > > > > vm1     | VMM[vm]: Device creation for pfebufs@83200000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'pfebufs@835e0000'.reg[0] (0x835e0000-0x835fffff).
> > > > > vm1     | VMM[vm]: Device creation for pfebufs@835e0000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'ddr@85000000'.reg[0]
> > > >
> > > > > (0x85000000-0x85000fff).
> > > > > vm1     | VMM[vm]: Device creation for ddr@85000000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'scmi' IRQ
> > 332.
> > > > > vm1     | VMM[vm]: Device creation for scmi failed. Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'rtc@40060000'.reg[0]
> > > >
> > > > > (0x40060000-0x40060fff).
> > > > > vm1     | VMM[vm]: Device creation for rtc@40060000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'syscon@4007c000'.reg[0] (0x4007c000-0x4007c0ff).
> > > > > vm1     | VMM[vm]: Device creation for syscon@4007c000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'ddr_gpr@4007c600'.reg[0] (0x4007c600-0x4007c61f).
> > > > > vm1     | VMM[vm]: Device creation for ddr_gpr@4007c600 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'nvram@4009c000'.reg[0]
> > > >
> > > > > (0x4009c000-0x4009c00f).
> > > > > vm1     | VMM[vm]: Device creation for nvram@4009c000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'siul2-
> > > > > pinctrl@4009c240'.reg[0] (0x4009c240-0x4009c3.
> > > > > vm1     | VMM[vm]: Device creation for siul2-pinctrl@4009c240
> > failed.
> > > > Disabling
> > > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'siul2-
> > > > > gpio@4009d700'.reg[0] (0x4009d700-0x4009d70f).
> > > > > vm1     | VMM[vm]: Device creation for siul2-gpio@4009d700 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'nvram@44010000'.reg[0]
> > > >
> > > > > (0x44010000-0x4401000f).
> > > > > vm1     | VMM[vm]: Device creation for nvram@44010000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'ocotp@400a4000'.reg[0]
> > > >
> > > > > (0x400a4000-0x400a43ff).
> > > > > vm1     | VMM[vm]: Device creation for ocotp@400a4000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'tmu@400a8000'.reg[0]
> > > >
> > > > > (0x400a8000-0x400aafff).
> > > > > vm1     | VMM[vm]: Device creation for tmu@400a8000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'watchdog@4010c000'.reg[0] (0x4010c000-0x4010cfff).
> > > > > vm1     | VMM[vm]: Device creation for watchdog@4010c000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'stm@4011c000'.reg[0]
> > > >
> > > > > (0x4011c000-0x4011efff).
> > > > > vm1     | VMM[vm]: Device creation for stm@4011c000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'stm@40120000'.reg[0]
> > > >
> > > > > (0x40120000-0x40122fff).
> > > > > vm1     | VMM[vm]: Device creation for stm@40120000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'spi@40134000'.reg[0]
> > > >
> > > > > (0x0-0x1fffffff).
> > > > > vm1     | VMM[vm]: Device creation for spi@40134000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'dma-
> > > > > controller@40144000'.reg[0] (0x40144000-0x40167.
> > > > > vm1     | VMM[vm]: Device creation for dma-controller@40144000
> > failed.
> > > > Disabling
> > > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pit@40188000'.reg[0]
> > > >
> > > > > (0x40188000-0x4018afff).
> > > > > vm1     | VMM[vm]: Device creation for pit@40188000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'mscm@40198000'.reg[0]
> > > >
> > > > > (0x40198000-0x40198fff).
> > > > > vm1     | VMM[vm]: Device creation for mscm@40198000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'flexcan@401b4000'.reg[0] (0x401b4000-0x401bdfff).
> > > > > vm1     | VMM[vm]: Device creation for flexcan@401b4000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'serial@401c8000'.reg[0] (0x401c8000-0x401cafff).
> > > > > vm1     | VMM[vm]: Device creation for serial@401c8000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'serial@401cc000'.reg[0] (0x401cc000-0x401cefff).
> > > > > vm1     | VMM[vm]: Device creation for serial@401cc000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'spi@401d8000'.reg[0]
> > > >
> > > > > (0x401d8000-0x401d8fff).
> > > > > vm1     | VMM[vm]: Device creation for spi@401d8000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'i2c@401e4000'.reg[0]
> > > >
> > > > > (0x401e4000-0x401e4fff).
> > > > > vm1     | VMM[vm]: Device creation for i2c@401e4000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'i2c@401e8000'.reg[0]
> > > >
> > > > > (0x401e8000-0x401e8fff).
> > > > > vm1     | VMM[vm]: Device creation for i2c@401e8000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'i2c@401ec000'.reg[0]
> > > >
> > > > > (0x401ec000-0x401ecfff).
> > > > > vm1     | VMM[vm]: Device creation for i2c@401ec000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pwm@401f4000'.reg[0]
> > > >
> > > > > (0x401f4000-0x401f4fff).
> > > > > vm1     | VMM[vm]: Device creation for pwm@401f4000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'adc@401f8000'.reg[0]
> > > >
> > > > > (0x401f8000-0x401f8fff).
> > > > > vm1     | VMM[vm]: Device creation for adc@401f8000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'watchdog@40200000'.reg[0] (0x40200000-0x40200fff).
> > > > > vm1     | VMM[vm]: Device creation for watchdog@40200000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'watchdog@40204000'.reg[0] (0x40204000-0x40204fff).
> > > > > vm1     | VMM[vm]: Device creation for watchdog@40204000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'watchdog@40208000'.reg[0] (0x40208000-0x40208fff).
> > > > > vm1     | VMM[vm]: Device creation for watchdog@40208000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'mu0b@40210000'.reg[0]
> > > >
> > > > > (0x40210000-0x40210fff).
> > > > > vm1     | VMM[vm]: Device creation for mu0b@40210000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'mu1b@40211000'.reg[0]
> > > >
> > > > > (0x40211000-0x40211fff).
> > > > > vm1     | VMM[vm]: Device creation for mu1b@40211000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'mu2b@40212000'.reg[0]
> > > >
> > > > > (0x40212000-0x40212fff).
> > > > > vm1     | VMM[vm]: Device creation for mu2b@40212000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'mu3b@40213000'.reg[0]
> > > >
> > > > > (0x40213000-0x40213fff).
> > > > > vm1     | VMM[vm]: Device creation for mu3b@40213000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'stm@40228000'.reg[0]
> > > >
> > > > > (0x40228000-0x4022afff).
> > > > > vm1     | VMM[vm]: Device creation for stm@40228000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'dma-
> > > > > controller@40244000'.reg[0] (0x40244000-0x40267.
> > > > > vm1     | VMM[vm]: Device creation for dma-controller@40244000
> > failed.
> > > > Disabling
> > > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pit@40288000'.reg[0]
> > > >
> > > > > (0x40288000-0x4028afff).
> > > > > vm1     | VMM[vm]: Device creation for pit@40288000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'flexcan@402a8000'.reg[0] (0x402a8000-0x402b1fff).
> > > > > vm1     | VMM[vm]: Device creation for flexcan@402a8000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'flexcan@402b2000'.reg[0] (0x402b2000-0x402bbfff).
> > > > > vm1     | VMM[vm]: Device creation for flexcan@402b2000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'serial@402bc000'.reg[0] (0x402bc000-0x402befff).
> > > > > vm1     | VMM[vm]: Device creation for serial@402bc000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'spi@402d0000'.reg[0]
> > > >
> > > > > (0x402d0000-0x402d0fff).
> > > > > vm1     | VMM[vm]: Device creation for spi@402d0000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'i2c@402dc000'.reg[0]
> > > >
> > > > > (0x402dc000-0x402dcfff).
> > > > > vm1     | VMM[vm]: Device creation for i2c@402dc000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pwm@402e4000'.reg[0]
> > > >
> > > > > (0x402e4000-0x402e4fff).
> > > > > vm1     | VMM[vm]: Device creation for pwm@402e4000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'adc@402e8000'.reg[0]
> > > >
> > > > > (0x402e8000-0x402e8fff).
> > > > > vm1     | VMM[vm]: Device creation for adc@402e8000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'mmc@402f0000'.reg[0]
> > > >
> > > > > (0x402f0000-0x402f0fff).
> > > > > vm1     | VMM[vm]: Device creation for mmc@402f0000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'fccu@4030c000'.reg[0]
> > > >
> > > > > (0x4030c000-0x4030efff).
> > > > > vm1     | VMM[vm]: Device creation for fccu@4030c000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'ethernet@4033c000'.reg[0] (0x4033c000-0x4033dfff).
> > > > > vm1     | VMM[vm]: Device creation for ethernet@4033c000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'ddr_errata@403c0000'.reg[0] (0x403c0000-0x403c00ff).
> > > > > vm1     | VMM[vm]: Device creation for ddr_errata@403c0000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for 'ddr-
> > > > > perf@403e0000'.reg[0] (0x403e0000-0x403e00ff).
> > > > > vm1     | VMM[vm]: Device creation for ddr-perf@403e0000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pcie@40400000'.reg[0]
> > > >
> > > > > (0x40400000-0x40400fff).
> > > > > vm1     | VMM[vm]: Device creation for pcie@40400000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'serdes@40480000'.reg[0] (0x40480000-0x40480107).
> > > > > vm1     | VMM[vm]: Device creation for serdes@40480000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pcie@44100000'.reg[0]
> > > >
> > > > > (0x44100000-0x44100fff).
> > > > > vm1     | VMM[vm]: Device creation for pcie@44100000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'serdes@44180000'.reg[0] (0x44180000-0x44180107).
> > > > > vm1     | VMM[vm]: Device creation for serdes@44180000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'pfe@46000000'.reg[0]
> > > >
> > > > > (0x46000000-0x46ffffff).
> > > > > vm1     | VMM[vm]: Device creation for pfe@46000000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'llce_dte_sram@43000000'.reg[0] (0x43000000-0x43001f.
> > > > > vm1     | VMM[vm]: Device creation for llce_dte_sram@43000000
> > failed.
> > > > Disabling
> > > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'llce_ppe_rx_sram@43100000'.reg[0] (0x43100000-0x431.
> > > > > vm1     | VMM[vm]: Device creation for llce_ppe_rx_sram@43100000
> > > > failed.
> > > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'llce_ppe_tx_sram@43200000'.reg[0] (0x43200000-0x432.
> > > > > vm1     | VMM[vm]: Device creation for llce_ppe_tx_sram@43200000
> > > > failed.
> > > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'llce_frpe_sram@43300000'.reg[0] (0x43300000-0x4330f.
> > > > > vm1     | VMM[vm]: Device creation for llce_frpe_sram@43300000
> > failed.
> > > > Disabling
> > > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'llce_shmem@43800000'.reg[0] (0x43800000-0x4384ffff).
> > > > > vm1     | VMM[vm]: Device creation for llce_shmem@43800000 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'llce@43a00000'.reg[0]
> > > >
> > > > > (0x43ff8000-0x43ffbfff).
> > > > > vm1     | VMM[vm]: Device creation for llce@43a00000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > > > > 'usbmisc@44064200'.reg[0] (0x44064200-0x440643ff).
> > > > > vm1     | VMM[vm]: Device creation for usbmisc@44064200 failed.
> > > > Disabling device.
> > > > > vm1     | VMM[ioproxy]: No corresponding IO resource for
> > 'usb@44064000'.reg[0]
> > > >
> > > > > (0x44064000-0x440641ff).
> > > > > vm1     | VMM[vm]: Device creation for usb@44064000 failed.
> > Disabling
> > > > device.
> > > > > vm1     | VMM[ram]: Cleaning caches for device tree [9ff2000-9fff728]
> > > > ([90df2000])
> > > > > io      | new iomem region: p=00000000000000 v=00000000400000
> > s=400000
> > > > (bmb=0x39bc0)
> > > > > io      | map mem: p=00000000002000 v=00000000402000 s=2000 uncached:
> > > > done(0)
> > > > > vm1     | VMM[]: Starting Cpu0 @ 0x88e00000 in 64Bit mode (handler @
> > > > 1078e08,
> > > > > stack: 801ffba0, task: 420000, )
> > > > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > > > vm1     | VMM[]: Starting Cpu1 @ 0x896e7254 in 64Bit mode (handler @
> > > > 1078e08,
> > > > > stack: 400f20, task: 420000, mp)
> > > > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > > > vm1     | VMM[]: Starting Cpu2 @ 0x896e7254 in 64Bit mode (handler @
> > > > 1078e08,
> > > > > stack: 5fff20, task: 420000, mp)
> > > > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > > > vm1     | VMM[]: Starting Cpu3 @ 0x896e7254 in 64Bit mode (handler @
> > > > 1078e08,
> > > > > stack: 7fef20, task: 420000, mp)
> > > > > vm1     | ffffffc0080202c4: mrs r0, S3_1_C11_C0_2 (hsr=62346c01)
> > > > > vm1     | [    0.000000] Booting Linux on physical CPU 0x0000000000
> > > > [0x410fd034]
> > > > > vm1     | [    0.000000] Linux version 5.15.119-rt65+ge18f05316cd9
> > > > (oe-user@oe-
> > > > > host) (aarch64-fsl-linux-gcc (3
> > > > > vm1     | [    0.000000] Machine model: NXP S32G2XXX-EVB
> > > > > vm1     | [    0.000000] Zone ranges:
> > > > > vm1     | [    0.000000]   DMA      [mem
> > > > 0x0000000088e00000-0x0000000090dfffff]
> > > > > vm1     | [    0.000000]   DMA32    empty
> > > > > vm1     | [    0.000000]   Normal   empty
> > > > > vm1     | [    0.000000] Movable zone start for each node
> > > > > vm1     | [    0.000000] Early memory node ranges
> > > > > vm1     | [    0.000000]   node   0: [mem
> > > > 0x0000000088e00000-0x0000000090dfffff]
> > > > > vm1     | [    0.000000] Initmem setup node 0 [mem
> > > > > 0x0000000088e00000-0x0000000090dfffff]
> > > > > vm1     | [    0.000000] On node 0, zone DMA: 3584 pages in
> > unavailable
> > > > ranges
> > > > > vm1     | [    0.000000] On node 0, zone DMA: 29184 pages in
> > unavailable
> > > > ranges
> > > > > vm1     | [    0.000000] cma: Failed to reserve 256 MiB
> > > > > vm1     | [    0.000000] psci: probing for conduit method from DT.
> > > > > vm1     | [    0.000000] psci: PSCIv1.0 detected in firmware.
> > > > > vm1     | [    0.000000] psci: Using standard PSCI v0.2 function IDs
> > > > > vm1     | [    0.000000] psci: Trusted OS migration not required
> > > > > vm1     | [    0.000000] psci: SMC Calling Convention v1.0
> > > > > vm1     | [    0.000000] percpu: Embedded 18 pages/cpu s34200 r8192
> > > > d31336 u73728
> > > > > vm1     | [    0.000000] pcpu-alloc: s34200 r8192 d31336 u73728
> > > > alloc=18*4096
> > > > > vm1     | [    0.000000] pcpu-alloc: [0] 0 [0] 1 [0] 2 [0] 3
> > > > > vm1     | [    0.000000] Detected VIPT I-cache on CPU0
> > > > > vm1     | [    0.000000] CPU features: detected: GIC system register
> > CPU
> > > > interface
> > > > > vm1     | [    0.000000] CPU features: detected: ARM erratum 845719
> > > > > vm1     | [    0.000000] CPU features: detected: ARM errata 1165522,
> > > > 1319367,
> > > > > 1530923, or 1530924
> > > > > vm1     | [    0.000000] Built 1 zonelists, mobility grouping on.
> > Total
> > > > pages:
> > > > > 32320
> > > > > vm1     | [    0.000000] Kernel command line: console=ttyAMA0
> > > > earlyprintk=1
> > > > > rdinit=/init
> > > > > vm1     | [    0.000000] Unknown kernel command line parameters
> > > > "earlyprintk=1",
> > > > > will be passed to user space.
> > > > > vm1     | [    0.000000] Dentry cache hash table entries: 16384
> > (order:
> > > > 5,
> > > > > 131072 bytes, linear)
> > > > > vm1     | [    0.000000] Inode-cache hash table entries: 8192
> > (order: 4,
> > > > 65536
> > > > > bytes, linear)
> > > > > vm1     | [    0.000000] mem auto-init: stack:off, heap alloc:off,
> > heap
> > > > free:off
> > > > > vm1     | [    0.000000] Memory: 83660K/131072K available (9088K
> > kernel
> > > > code,
> > > > > 642K rwdata, 3036K rodata, 1344)
> > > > > vm1     | [    0.000000] rcu: Preemptible hierarchical RCU
> > > > implementation.
> > > > > vm1     | [    0.000000] rcu:   RCU event tracing is enabled.
> > > > > vm1     | [    0.000000] rcu:   RCU restricting CPUs from NR_CPUS=8
> > to
> > > > nr_cpu_ids=4.
> > > > > vm1     | [    0.000000]        Trampoline variant of Tasks RCU
> > enabled.
> > > > > vm1     | [    0.000000]        Tracing variant of Tasks RCU enabled.
> > > > > vm1     | [    0.000000] rcu: RCU calculated value of
> > > > scheduler-enlistment delay
> > > > > is 25 jiffies.
> > > > > vm1     | [    0.000000] rcu: Adjusting geometry for
> > rcu_fanout_leaf=16,
> > > > > nr_cpu_ids=4
> > > > > vm1     | [    0.000000] NR_IRQS: 64, nr_irqs: 64, preallocated
> > irqs: 0
> > > > > vm1     | [    0.000000] GICv3: 988 SPIs implemented
> > > > > vm1     | [    0.000000] GICv3: 0 Extended SPIs implemented
> > > > > vm1     | [    0.000000] GICv3: Distributor has no Range Selector
> > support
> > > > > vm1     | [    0.000000] Root IRQ handler: gic_handle_irq
> > > > > vm1     | [    0.000000] GICv3: 16 PPIs implemented
> > > > > vm1     | [    0.000000] GICv3: CPU0: found redistributor 0 region
> > > > > 0:0x0000000050880000
> > > > > vm1     | [    0.000000] arch_timer: cp15 timer(s) running at 5.00MHz
> > > > (virt).
> > > > > vm1     | [    0.000000] clocksource: arch_sys_counter: mask:
> > > > 0xffffffffffffff
> > > > > max_cycles: 0x127350b88, max_is
> > > > > vm1     | [    0.000001] sched_clock: 56 bits at 5MHz, resolution
> > 200ns,
> > > > wraps
> > > > > every 4398046511100ns
> > > > > vm1     | [    0.000647] Console: colour dummy device 80x25
> > > > > vm1     | [    0.000694] Calibrating delay loop (skipped), value
> > > > calculated
> > > > > using timer frequency.. 10.00 Bog)
> > > > > vm1     | [    0.000707] pid_max: default: 32768 minimum: 301
> > > > > vm1     | [    0.000892] Mount-cache hash table entries: 512 (order:
> > 0,
> > > > 4096
> > > > > bytes, linear)
> > > > > vm1     | [    0.000903] Mountpoint-cache hash table entries: 512
> > > > (order: 0,
> > > > > 4096 bytes, linear)
> > > > > vm1     | [    0.002655] rcu: Hierarchical SRCU implementation.
> > > > > vm1     | [    0.003586] smp: Bringing up secondary CPUs ...
> > > > > vm1     | [    0.017942] Detected VIPT I-cache on CPU1
> > > > > vm1     | [    0.018008] GICv3: CPU1: found redistributor 1 region
> > > > > 0:0x00000000508a0000
> > > > > vm1     | [    0.018171] CPU1: Booted secondary processor
> > 0x0000000001
> > > > [0x410fd034]
> > > > > vm1     | [    0.038911] Detected VIPT I-cache on CPU2
> > > > > vm1     | [    0.038970] GICv3: CPU2: found redistributor 100 region
> > > > > 0:0x00000000508c0000
> > > > > vm1     | [    0.039117] CPU2: Booted secondary processor
> > 0x0000000100
> > > > [0x410fd034]
> > > > > vm1     | [    0.059706] Detected VIPT I-cache on CPU3
> > > > > vm1     | [    0.059748] GICv3: CPU3: found redistributor 101 region
> > > > > 0:0x00000000508e0000
> > > > > vm1     | [    0.059865] CPU3: Booted secondary processor
> > 0x0000000101
> > > > [0x410fd034]
> > > > > vm1     | [    0.066499] smp: Brought up 1 node, 4 CPUs
> > > > > vm1     | [    0.066508] SMP: Total of 4 processors activated.
> > > > > vm1     | [    0.066514] CPU features: detected: 32-bit EL0 Support
> > > > > vm1     | [    0.066519] CPU features: detected: CRC32 instructions
> > > > > vm1     | [    0.076664] CPU: All CPU(s) started at EL1
> > > > > vm1     | [    0.076717] alternatives: patching kernel code
> > > > > vm1     | [    0.077658] devtmpfs: initialized
> > > > > vm1     | [    0.086658] clocksource: jiffies: mask: 0xffffffff
> > > > max_cycles:
> > > > > 0xffffffff, max_idle_ns: 76450417s
> > > > > vm1     | [    0.086684] futex hash table entries: 1024 (order: 4,
> > 65536
> > > > bytes,
> > > > > linear)
> > > > > vm1     | [    0.086894] pinctrl core: initialized pinctrl subsystem
> > > > > vm1     | [    0.087761] NET: Registered PF_NETLINK/PF_ROUTE protocol
> > > > family
> > > > > vm1     | [    0.088328] DMA: preallocated 128 KiB GFP_KERNEL pool
> > for
> > > > atomic
> > > > > allocations
> > > > > vm1     | [    0.088376] DMA: preallocated 128 KiB GFP_KERNEL|GFP_DMA
> > > > pool for
> > > > > atomic allocations
> > > > > vm1     | [    0.088418] DMA: preallocated 128 KiB
> > GFP_KERNEL|GFP_DMA32
> > > > pool for
> > > > > atomic allocations
> > > > > vm1     | [    0.088812] thermal_sys: Registered thermal governor
> > > > 'step_wise'
> > > > > vm1     | [    0.089482] hw-breakpoint: found 6 breakpoint and 4
> > > > watchpoint
> > > > > registers.
> > > > > vm1     | [    0.089813] ASID allocator initialised with 65536
> > entries
> > > > > vm1     | [    0.089902] Serial: AMBA PL011 UART driver
> > > > > vm1     | [    0.091205] 12000.pl011_uart: ttyAMA0 at MMIO 0x12000
> > (irq
> > > > = 14,
> > > > > base_baud = 0) is a PL011 rev3
> > > > > vm1     | [    0.091249] printk: console [ttyAMA0] enabled
> > > > > vm1     | [    0.097882] HugeTLB registered 1.00 GiB page size,
> > > > pre-allocated 0
> > > > > pages
> > > > > vm1     | [    0.097896] HugeTLB registered 32.0 MiB page size,
> > > > pre-allocated 0
> > > > > pages
> > > > > vm1     | [    0.097902] HugeTLB registered 2.00 MiB page size,
> > > > pre-allocated 0
> > > > > pages
> > > > > vm1     | [    0.097908] HugeTLB registered 64.0 KiB page size,
> > > > pre-allocated 0
> > > > > pages
> > > > > vm1     | [    0.099874] vgaarb: loaded
> > > > > vm1     | [    0.100066] SCSI subsystem initialized
> > > > > vm1     | [    0.100236] usbcore: registered new interface driver
> > usbfs
> > > > > vm1     | [    0.100269] usbcore: registered new interface driver hub
> > > > > vm1     | [    0.100298] usbcore: registered new device driver usb
> > > > > vm1     | [    0.100605] pps_core: LinuxPPS API ver. 1 registered
> > > > > vm1     | [    0.100609] pps_core: Software ver. 5.3.6 - Copyright
> > > > 2005-2007
> > > > > Rodolfo Giometti <giometti@linux>
> > > > > vm1     | [    0.100622] PTP clock support registered
> > > > > vm1     | [    0.101759] clocksource: Switched to clocksource
> > > > arch_sys_counter
> > > > > vm1     | [    0.110198] NET: Registered PF_INET protocol family
> > > > > vm1     | [    0.110332] IP idents hash table entries: 2048 (order:
> > 2,
> > > > 16384
> > > > > bytes, linear)
> > > > > vm1     | [    0.110706] tcp_listen_portaddr_hash hash table entries:
> > > > 256
> > > > > (order: 0, 4096 bytes, linear)
> > > > > vm1     | [    0.110727] Table-perturb hash table entries: 65536
> > (order:
> > > > 6,
> > > > > 262144 bytes, linear)
> > > > > vm1     | [    0.110737] TCP established hash table entries: 1024
> > > > (order: 1,
> > > > > 8192 bytes, linear)
> > > > > vm1     | [    0.110752] TCP bind hash table entries: 1024 (order: 2,
> > > > 16384
> > > > > bytes, linear)
> > > > > vm1     | [    0.110775] TCP: Hash tables configured (established
> > 1024
> > > > bind 1024)
> > > > > vm1     | [    0.110860] UDP hash table entries: 256 (order: 1, 8192
> > > > bytes, linear)
> > > > > vm1     | [    0.110882] UDP-Lite hash table entries: 256 (order: 1,
> > > > 8192 bytes,
> > > > > linear)
> > > > > vm1     | [    0.111044] NET: Registered PF_UNIX/PF_LOCAL protocol
> > family
> > > > > vm1     | [    0.111710] RPC: Registered named UNIX socket transport
> > > > module.
> > > > > vm1     | [    0.111715] RPC: Registered udp transport module.
> > > > > vm1     | [    0.111718] RPC: Registered tcp transport module.
> > > > > vm1     | [    0.111721] RPC: Registered tcp NFSv4.1 backchannel
> > > > transport module.
> > > > > vm1     | [    0.111731] PCI: CLS 0 bytes, default 64
> > > > > vm1     | [    0.112053] Unpacking initramfs...
> > > > > vm1     | [    0.946302] Initramfs unpacking failed: write error
> > > > > vm1     | [    0.959998] Freeing initrd memory: 25676K
> > > > > vm1     | [    0.962699] workingset: timestamp_bits=62 max_order=15
> > > > bucket_order=0
> > > > > vm1     | [    0.963739] fuse: init (API version 7.34)
> > > > > vm1     | [    0.963938] NET: Registered PF_ALG protocol family
> > > > > vm1     | [    0.964001] Block layer SCSI generic (bsg) driver
> > version
> > > > 0.4
> > > > > loaded (major 248)
> > > > > vm1     | [    0.964008] io scheduler mq-deadline registered
> > > > > vm1     | [    0.964012] io scheduler kyber registered
> > > > > vm1     | [    0.968974] vcan: Virtual CAN interface driver
> > > > > vm1     | [    0.968989] slcan: serial line CAN interface driver
> > > > > vm1     | [    0.968992] slcan: 10 dynamic interface channels.
> > > > > vm1     | [    0.969000] CAN device driver interface
> > > > > vm1     | [    0.969065] e100: Intel(R) PRO/100 Network Driver
> > > > > vm1     | [    0.969069] e100: Copyright(c) 1999-2006 Intel
> > Corporation
> > > > > vm1     | [    0.969104] e1000: Intel(R) PRO/1000 Network Driver
> > > > > vm1     | [    0.969108] e1000: Copyright (c) 1999-2006 Intel
> > > > Corporation.
> > > > > vm1     | [    0.969144] e1000e: Intel(R) PRO/1000 Network Driver
> > > > > vm1     | [    0.969146] e1000e: Copyright(c) 1999 - 2015 Intel
> > > > Corporation.
> > > > > vm1     | [    0.969179] igb: Intel(R) Gigabit Ethernet Network
> > Driver
> > > > > vm1     | [    0.969183] igb: Copyright (c) 2007-2014 Intel
> > Corporation.
> > > > > vm1     | [    0.969534] ehci_hcd: USB 2.0 'Enhanced' Host Controller
> > > > (EHCI) Driver
> > > > > vm1     | [    0.969543] ehci-pci: EHCI PCI platform driver
> > > > > vm1     | [    0.969763] usbcore: registered new interface driver uas
> > > > > vm1     | [    0.969801] usbcore: registered new interface driver
> > > > usb-storage
> > > > > vm1     | [    0.970286] i2c_dev: i2c /dev entries driver
> > > > > vm1     | [    0.970482] sdhci: Secure Digital Host Controller
> > Interface
> > > > driver
> > > > > vm1     | [    0.970485] sdhci: Copyright(c) Pierre Ossman
> > > > > vm1     | [    0.970488] sdhci-pltfm: SDHCI platform and OF driver
> > helper
> > > > > vm1     | [    0.970671] usbcore: registered new interface driver
> > usbhid
> > > > > vm1     | [    0.970675] usbhid: USB HID core driver
> > > > > vm1     | [    0.971182] NET: Registered PF_INET6 protocol family
> > > > > vm1     | [    0.972106] Segment Routing with IPv6
> > > > > vm1     | [    0.972143] In-situ OAM (IOAM) with IPv6
> > > > > vm1     | [    0.972197] sit: IPv6, IPv4 and MPLS over IPv4 tunneling
> > > > driver
> > > > > vm1     | [    0.972682] NET: Registered PF_PACKET protocol family
> > > > > vm1     | [    0.972887] can: controller area network core
> > > > > vm1     | [    0.972921] NET: Registered PF_CAN protocol family
> > > > > vm1     | [    0.972926] can: raw protocol
> > > > > vm1     | [    0.972932] can: broadcast manager protocol
> > > > > vm1     | [    0.972944] can: netlink gateway - max_hops=1
> > > > > vm1     | [    0.972973] 8021q: 802.1Q VLAN Support v1.8
> > > > > vm1     | [    0.973246] printk: console [ttyAMA0]: printing thread
> > > > started
> > > > > vm1     | [    1.043530] uart-pl011 12000.pl011_uart: no DMA platform
> > > > data
> > > > > vm1     | [    1.099243] VFS: Cannot open root device "(null)" or
> > > > unknown-
> > > > > block(0,0): error -6
> > > > > vm1     | [    1.099253] Please append a correct "root=" boot option;
> > > > here are
> > > > > the available partitions:
> > > > > vm1     | [    1.099259] Kernel panic - not syncing:
> > > > >
> > > > > Regards,
> > > > > Qiang
> > > > >
> > > > > On Wed, Feb 19, 2025 at 5:17 PM Adam Lackorzynski <adam@l4re.org
> > > > > <mailto:adam@l4re.org>> wrote:
> > > > >
> > > > >     Hi Qiang,
> > > > >
> > > > >     what you did is good.
> > > > >
> > > > >     The messages shown are giving hints on the setup and are not
> > > > generally
> > > > >     bad.
> > > > >     If the ioproxy says there's no resource it means that a
> > > > device/resource
> > > > >     is listed in the device tree but not on the vbus, i.e. this
> > resource
> > > > is
> > > > >     not available for the VM. uvmm thus disables this node in the
> > device
> > > > >     tree.
> > > > >     The platform_ctl cap message is coming from io, telling us that
> > io
> > > > >     cannot offer the Platform_control API because no cap has been
> > made
> > > > >     available.
> > > > >
> > > > >     Regarding the UART, there's also a hint, and I believe that is
> > also
> > > > the
> > > > >     reason why no output from Linux is seen. You already noticed as
> > well.
> > > > >     pl011 and linflex are not compatible. What I would propose is
> > that
> > > > you
> > > > >     add a node in the DT for the pl011, as uvmm can emulate this UART
> > > > type.
> > > > >     An example can be found in
> > pkg/uvmm/configs/dts/vmm-devices-arm.dtsi.
> > > > >     This file contains two variants of a UART. The pl011 one which I
> > just
> > > > >     mentioned and a virtio-console one. Both will work. You can take
> > the
> > > > >     contents of this file as is, however pay attention to the MMIO
> > ranges
> > > > >     and IRQs used. Choose a free range in the guest physical address
> > > > space
> > > > >     of your guest (aka a range not used in the device tree) and
> > change
> > > > the
> > > > >     addresses accordingly. Similar with the interrupts, use one not
> > used
> > > > >     previously.
> > > > >
> > > > >
> > > > >
> > > > >     Adam
> > > > >
> > > > >     On Tue Feb 18, 2025 at 18:02:32 +0800, qiang xu wrote:
> > > > >      > Hi Adam,
> > > > >      >
> > > > >      > Thank you very much for your help. I selected the option
> > "*Target
> > > > >      > configuration -> Use PSCI[]**" *in the Fiasco compile options
> > and
> > > > >      > recompiled. Then, in the L4 compile options, I selected *"uvmm
> > > > virtual
> > > > >      > machine monitor -> PSCI interface support[]*" and recompiled
> > L4.
> > > > After
> > > > >      > running it in boot, I encountered the overlap issue again.
> > Later,
> > > > I
> > > > >      > adjusted the `DEFAULT_RELOC_arm64`and resolved it. However,
> > when
> > > > I started,