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 <[email protected]>
zephyrproject-rtos · Nov 9, 2018 · 7b2b4e9 · 7b2b4e9
1 parent 872bb80
commit 7b2b4e9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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