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