24.18. gem5 ARM platforms
The gem5 platform is selectable with the --machine option, which is named after the analogous QEMU -machine option, and which sets the --machine-type.
Each platform represents a different system with different devices, memory and interrupt setup.
TODO: describe the main characteristics of each platform, as of gem5 5e83d703522a71ec4f3eb61a01acd8c53f6f3860:
-
VExpress_GEM5_V1: good sane base platform -
VExpress_GEM5_V1_DPU:VExpress_GEM5_V1with DP650 instead of HDLCD, selected automatically by./run --dp650, see also: gem5 graphic mode DP650 -
VExpress_GEM5_V2: VExpress_GEM5_V1 with GICv3, uses a different bootloaderarm/aarch64_bootloader/boot_emm_v2.arm64TODO is it because of GICv3? -
anything that does not start with:
VExpress_GEM5_: old and bad, don’t use them