Hi Mohamed,
On 7/30/25 10:27 PM, Mohamed Mediouni wrote:
> This one took way longer for me to publish than I should have.
>
> There are a number of lingering bugs in this one including u-boot not working.
>
> Interrupt controller save/restore is entirely missing in this RFC, and some other state
> bits are likely still missing too.
>
> ITS not blocked by default yet, remember to use its=off when testing this series.
> You might also want the GICv3 + GICv2m support patch as part of the HVF vGIC patch series, which
> is not duplicated here.
>
> PS: on both this and HVF, interrupt controller initialisation needs to be done early so I ended
> up with hardcoded addresses. Wonder if the right way to go might be to defer virt and vCPU initialisation
> until late in the process post-gic_realize...
>
> Other than that, this boots both EDK2 and Linux in SMP, when using devicetree or ACPI.
>
thanks for posting this, that's an exciting series!
I applied it on top of your other series
(20250728134114.77545-1-moha...@unpredictable.fr) and solved the conflicts.
However, it would really help if you could push that exact branch
somewhere, so people can easily pull it and try.
I'm fine if you want to duplicate gic patches in this series as well.
I tried to direct boot a kernel (6.15 defconfig) and ran into this error
[1]:
$ ./build/qemu-system-aarch64.exe -M virt,its=off -cpu cortex-a76 -m 2G
-nographic -accel whpx -kernel out/Image.gz out/host.ext4
Could you please share your exact command line?
Does it work with direct kernel boot also?
Kind Regards,
Pierrick
[1] Error when booting:
[ 1.381525] Internal error: Oops: 0000000096000002 [#1] SMP
[ 1.458060] Modules linked in:
[ 1.461172] CPU: 0 UID: 0 PID: 1 Comm: swapper/0 Not tainted
6.15.0-00001-g7797e43a2520 #1 PREEMPT
[ 1.470502] Hardware name: linux,dummy-virt (DT)
[ 1.475102] pstate: 204000c5 (nzCv daIF +PAN -UAO -TCO -DIT -SSBS
BTYPE=--)
[ 1.482023] pc : pci_generic_config_read+0x38/0xb8
[ 1.486970] lr : pci_generic_config_read+0x24/0xb8
[ 1.491734] sp : ffff80008000b940
[ 1.495079] x29: ffff80008000b940 x28: 0000000000000000 x27:
ffffbb8fe13f00ec
[ 1.502473] x26: ffffbb8fe14f9060 x25: ffffbb8fe14f9078 x24:
ffffbb8fe1c99990
[ 1.509564] x23: 0000000000000000 x22: ffff80008000b9f4 x21:
ffff574c83b7c000
[ 1.516636] x20: ffff80008000b964 x19: 0000000000000004 x18:
0000000000000006
[ 1.523722] x17: 6666666666666666 x16: 6678302d30303030 x15:
0720072007200720
[ 1.531583] x14: 0720072007200720 x13: 0720072007200720 x12:
ffffbb8fe1736838
[ 1.539094] x11: 0000000000000058 x10: 0000000000000018 x9 :
ffffbb8fe1736838
[ 1.546212] x8 : 00000000000000c5 x7 : ffffbb8fe187ff40 x6 :
00000000000000ff
[ 1.553370] x5 : 0000000000000000 x4 : 0000000000000000 x3 :
ffff800090000000
[ 1.560676] x2 : 0000000000000000 x1 : 0000000000000000 x0 :
ffff800090000000
[ 1.567890] Call trace:
[ 1.570509] pci_generic_config_read+0x38/0xb8 (P)
[ 1.575362] pci_bus_read_config_dword+0x80/0xe4
[ 1.580231] pci_bus_generic_read_dev_vendor_id+0x30/0x164
[ 1.586164] pci_scan_single_device+0x118/0x18c
[ 1.590912] pci_scan_slot+0x58/0x214
[ 1.594782] pci_scan_child_bus_extend+0x40/0x234
[ 1.599606] pci_scan_root_bus_bridge+0x64/0xd8
[ 1.604194] pci_host_probe+0x30/0xec
[ 1.607972] pci_host_common_probe+0x128/0x1c0
[ 1.612430] platform_probe+0x68/0xdc
[ 1.616220] really_probe+0xbc/0x2c0
[ 1.619814] __driver_probe_device+0x78/0x120
[ 1.624435] driver_probe_device+0x3c/0x154
[ 1.628620] __driver_attach+0x90/0x1a0
[ 1.632509] bus_for_each_dev+0x7c/0xdc
[ 1.636449] driver_attach+0x24/0x30
[ 1.640067] bus_add_driver+0xe4/0x208
[ 1.643774] driver_register+0x68/0x130
[ 1.647667] __platform_driver_register+0x24/0x30
[ 1.652704] gen_pci_driver_init+0x1c/0x28
[ 1.657181] do_one_initcall+0x60/0x1d4
[ 1.661172] kernel_init_freeable+0x210/0x274
[ 1.665749] kernel_init+0x20/0x140
[ 1.669341] ret_from_fork+0x10/0x20
[ 1.673034] Code: 7100067f 540002c0 71000a7f 54000180 (b9400000)
