@@ -10,9 +10,7 @@ CONFIG_ARM_VIRT=y
CONFIG_CUBIEBOARD=y
CONFIG_EXYNOS4=y
CONFIG_HIGHBANK=y
-CONFIG_FSL_IMX31=y
CONFIG_MUSCA=y
-CONFIG_NSERIES=y
CONFIG_STELLARIS=y
CONFIG_REALVIEW=y
CONFIG_VEXPRESS=y
@@ -463,8 +463,8 @@ static void realview_machine_init(void)
{
if (tcg_enabled()) {
type_register_static(&realview_eb_type);
+ type_register_static(&realview_eb_mpcore_type);
}
- type_register_static(&realview_eb_mpcore_type);
type_register_static(&realview_pb_a8_type);
type_register_static(&realview_pbx_a9_type);
}
@@ -6,6 +6,11 @@ config ARM_V5
bool
depends on TCG
+config ARM_V6
+ bool
+ depends on TCG
+ select ARM_COMPATIBLE_SEMIHOSTING
+
config ARM_VIRT
bool
imply PCI_DEVICES
@@ -131,6 +136,8 @@ config NETDUINOPLUS2
config NSERIES
bool
+ default y if TCG
+ select ARM_V6
select OMAP
select TMP105 # tempature sensor
select BLIZZARD # LCD/TV controller
@@ -411,6 +418,8 @@ config FSL_IMX25
config FSL_IMX31
bool
+ default y if TCG
+ select ARM_V6
select SERIAL
select IMX
select IMX_I2C
@@ -488,11 +497,13 @@ config FSL_IMX6UL
config MICROBIT
bool
+ default y if TCG
select NRF51_SOC
config NRF51_SOC
bool
select I2C
+ select ARM_V6
select ARM_V7M
select UNIMP
KVM requires a cpu based on (at least) the ARMv7 architecture. Only enable the following ARMv6 CPUs when TCG is available: - ARM1136 - ARM1176 - ARM11MPCore - Cortex-M0 The following machines are no more built when TCG is disabled: - kzm ARM KZM Emulation Baseboard (ARM1136) - microbit BBC micro:bit (Cortex-M0) - n800 Nokia N800 tablet aka. RX-34 (OMAP2420) - n810 Nokia N810 tablet aka. RX-44 (OMAP2420) - realview-eb-mpcore ARM RealView Emulation Baseboard (ARM11MPCore) Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org> --- default-configs/devices/arm-softmmu.mak | 2 -- hw/arm/realview.c | 2 +- hw/arm/Kconfig | 11 +++++++++++ 3 files changed, 12 insertions(+), 3 deletions(-)