A pair of bugfixes and cleanup patches noticed while rebasing my "Support disabling TCG on ARM (part 2)" series.
Philippe Mathieu-Daudé (3): hw/arm/Kconfig: Add missing dependency STM32F405 -> OR_IRQ hw/arm/Kconfig: Add missing dependency EXYNOS4210 -> OR_IRQ hw/arm: Display CPU type in machine description hw/arm/digic_boards.c | 2 +- hw/arm/microbit.c | 2 +- hw/arm/netduino2.c | 2 +- hw/arm/netduinoplus2.c | 2 +- hw/arm/orangepi.c | 2 +- hw/arm/stellaris.c | 4 ++-- hw/arm/Kconfig | 2 ++ 7 files changed, 9 insertions(+), 7 deletions(-) -- 2.26.2
