config ARM
    bool
    select ARM_COMPATIBLE_SEMIHOSTING if TCG
    select ARM_V7M if TCG

config AARCH64
    bool
    select ARM