Hi all :

Has anyone brought up Hafnium on Raspberry Pi 4 board ? I tried but failed by the following steps:

1.Make the Hafnium RAM disk with aarch64 build Pi4 kernel , RAM disk for Linux , manifest.dtb.

The manifest.dtb buildt by :

/dts-v1/;

/ {

│ hypervisor {

│ │ compatible = "hafnium,hafnium";

│ │ vm1 {

│ │ │ debug_name = "Linux VM";

│ │ │ kernel_filename = "vmlinuz";

│ │ │ ramdisk_filename = "initrd.img";

│ │ };

│ };

};

2.Copy bl31.bin hafnium.bin initrd.img to fat32 boot direction and configure config.txt . Power up my unit and got the uart error log :

NOTICE: BL31: v2.3(debug):v2.3-109-g771c676b1

NOTICE: BL31: Built : 15:49:37, Jun 1 2020

INFO: Changed device tree to advertise PSCI.

INFO: ARM GICv2 driver initialized

INFO: BL31: Initializing runtime services

INFO: BL31: cortex_a72: CPU workaround for 859971 was applied

INFO: BL31: cortex_a72: CPU workaround for cve_2017_5715 was applied

INFO: BL31: cortex_a72: CPU workaround for cve_2018_3639 was applied

INFO: BL31: Preparing for EL3 exit to normal world

INFO: Entry point address = 0x80000

INFO: SPSR = 0x3c9

NOTICE: Initialising hafnium

INFO: text: 0x80000 - 0x97000

INFO: rodata: 0x97000 - 0x9a000

INFO: data: 0x9a000 - 0x117000

INFO: Supported bits in physical address: 44

INFO: Stage 2 has 4 page table levels with 1 pages at the root.

INFO: Found PSCI version: 0x10001

INFO: Memory range: 0x0 - 0x3b3fffff

INFO: Memory range: 0x40000000 - 0xfbffffff

INFO: Ramdisk range: 0x1800000 - 0x353dbff

ERROR: Data abort: pc=0x8b0dc, esr=0x96000021, ec=0x25, far=0x19536ee

Panic: EL2 exception

Is there anyone can help me with this issue or share me the way to bring up Hafnium on pi4 ? Thanks very much !

------

By Wanghua

Best Regards！