Sebastian Huber 901e893087 arm/xen: Fix BSP_INTERRUPT_VECTOR_COUNT ...

Do not use reserved interrupt IDs.

2024-04-30 01:39:06 -04:00

..

bsp

arm/xen: Fix BSP_INTERRUPT_VECTOR_COUNT

2024-04-30 01:39:06 -04:00

bsp.h

bsps: Break out AArch32 portions of GPT driver

2020-10-05 16:11:39 -05:00

tm27.h

bsps: Break out AArch32 GICv3 support

2020-10-05 16:11:39 -05:00