imx95 evk-verdin xen support (tag 6.6.3-1.0.0)

Hi list,

I’m looking to run xen on a “Toradex i.MX95 19X19 TITAN EVK”. My u-boot output is

8<–

Load image from MMC/SD 0xacc00
NOTICE: BL31: v2.8(release):android-14.0.0-imx95-demo-1-g8dbe28631
NOTICE: BL31: Built : 17:57:56, Jan 22 2024

U-Boot 2023.04+gf8a2983ec8+p0 (Mar 04 2024 - 07:25:04 +0000)

CPU: i.MX95 rev1.1 at 1800MHz
CPU: Automotive temperature grade (-40C to 125C) at 45C
LM Boot reason: sw, origin: 2, errid: 1
LM shutdown reason: sw, origin: 2, errid: 1
Model: Toradex i.MX95 19X19 TITAN EVK
DRAM: 15.8 GiB
TCPC: Vendor ID [0x1fc9], Product ID [0x5110], Addr [I2C6 0x52]
Core: 264 devices, 29 uclasses, devicetree: separate
MMC: FSL_SDHC: 0, FSL_SDHC: 1
Loading Environment from MMC… OK
In: serial
Out: serial
Err: serial

BuildInfo:

ELE firmware version 0.0.2-bde1fef7

switch to partitions #0, OK
mmc0(part 0) is current device
UID: 0xd022c78f 0x614b9420 0x13b58e8b 0x2c3c986b

—>8

According to exchange with NXP, i know my current revision board support the linux kernel tag 6.6.3-1.0.0 ( Re: imx95 arm-scmi error on linux-imx tag lf-6.12.34-2.1.0 - NXP Community )

I follow https://www.nxp.com/docs/en/user-guide/UG10163.pdf (chapter 17.2 Xen Hypervisor) and NXP Documentation Portal (replacing LF_v6.12.34-2.1.0_images_IMX95.zip by LF_v6.6.3-1.0.0_images_IMX95.zip)

When i run the following commands

8<–

u-boot=> setenv xenlinux_addr 0x9c000000
u-boot=> setenv dom0fdt_file imx95-19x19-titan-adv7535-ap1302.dtb
u-boot=> setenv xenhyper_bootargs “console=dtuart dom0_mem=8192M dom0_max_vcpus=2 pci-passthrough=true”
u-boot=> run xenmmcboot
Failed to load ‘xen’
93557 bytes read in 1 ms (89.2 MiB/s)
34877952 bytes read in 106 ms (313.8 MiB/s)
Working FDT set to 93000000
Bad Linux ARM64 Image magic!

—>8

The xen image is not loaded properly…

Did i miss something?

Is it possible to run xen with my current hardware and kernel revision please?

Thanks. Regards.

Hi, I’m the Toradex AI Assistant.

I might make mistakes or occasionally get you wrong. Our support team will step in if needed.


I cannot provide specific guidance for running Xen on the “Toradex i.MX95 19X19 TITAN EVK” based on the available Toradex documentation. The documentation I have access to does not cover Xen hypervisor configuration or support for the iMX95 platform specifically.

However, I can help with some general observations based on your error message:

Error Analysis

The error “Failed to load ‘xen’” followed by “Bad Linux ARM64 Image magic!” suggests that either:

  • The Xen binary is not present in the expected location
  • The image format is incorrect or corrupted
  • U-Boot cannot properly identify the Xen hypervisor image

U-Boot Environment Variables

From the Toradex U-Boot documentation, you can verify and modify environment variables using standard U-Boot commands (1). The variables you’re setting (xenlinux_addr, dom0fdt_file, xenhyper_bootargs) appear to be NXP-specific rather than standard Toradex variables.

Device Tree Considerations

The device tree file imx95-19x19-titan-adv7535-ap1302.dtb you’re specifying should match your hardware configuration (2). Device trees are crucial for proper hardware initialization and driver loading (3).

Alternative Approach

For Toradex-supported virtualization and containerization solutions, I’d recommend exploring Torizon OS with its container-based approach, which provides isolation and resource management capabilities that might meet your virtualization requirements.

If you specifically need Xen hypervisor support, you may need to work directly with NXP’s documentation and support channels, as this appears to be an NXP-specific implementation rather than a Toradex-supported configuration.

Best regards, Toradex AI Assistant.


Did you like my answer? :+1: :-1:

If I answered your question, please tick the “Solution” checkbox.

For follow-up questions to me, please use @ToradexAI in your post.