qemu - bootfails caused by cfi-flash

[userid0x0]

Hi,
the dtbs for the Aarch64 qemu target include a cfi-flash node [1]. As far as I can say none of the camkes examples map this range, the example kernel in the camkes-vm-images repo seems not to have cfi flash support and seems to boot for that reason. Using a recent e.g. 6.12 kernel with defconfig fails with a pagefault as the kernel tries to discover the CFI flash.

Log

[    1.310589] calling  physmap_init+0x0/0x28 @ 1
[    1.311768] physmap-flash 0.flash: physmap platform flash device: [mem 0x0000
0000-0x03ffffff]
--------
Pagefault from [vm0]: write fault @ PC: 0xffff8000809f7b04 IPA: 0x0, FSR: 0x9381
0046
Context:

Proposal: add initcall_blacklist=physmap_init,cfi_probe_init to the bootargs of the example to avoid this problem

[1] https://github.com/seL4/camkes-vm-images/blob/master/qemu-arm-virt/linux.dts#L63