From 7b2b4e956587a30e2058fe3c3a560e1105a033eb Mon Sep 17 00:00:00 2001 From: Andy Ross Date: Fri, 9 Nov 2018 08:59:51 -0800 Subject: [PATCH] boards/arm/mps2_an385: Enable CONFIG_QEMU_TICKLESS_WORKAROUND This is a real hardware configuration, but we are running it in CI under qemu, so it needs to get the relevant timer workaround. Note that we can't set QEMU_TARGET, as that has impact on drivers outside of the timer. Signed-off-by: Andy Ross --- boards/arm/mps2_an385/Kconfig.board | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/boards/arm/mps2_an385/Kconfig.board b/boards/arm/mps2_an385/Kconfig.board index 5800b37a5b2c3a..19a2cec2fa691a 100644 --- a/boards/arm/mps2_an385/Kconfig.board +++ b/boards/arm/mps2_an385/Kconfig.board @@ -4,6 +4,11 @@ # SPDX-License-Identifier: Apache-2.0 # +# Note: the MPS2 is a real hardware board, but this target runs under +# qemu as part of our test suite and needs to be compiled with the +# relevant workarounds. + config BOARD_MPS2_AN385 + select QEMU_TICKLESS_WORKAROUND bool "ARM Cortex-M3 SMM on V2M-MPS2 (Application Note AN385)" depends on SOC_MPS2_AN385