1 /* 2 * Copyright 2021, Breakaway Consulting Pty. Ltd. 3 * 4 * SPDX-License-Identifier: BSD-2-Clause 5 */ 6 7 #pragma once 8 9 #include <autoconf.h> 10 11 /* Cortex A35 Manual Table C7.1 */ 12 #define seL4_NumHWBreakpoints (6) 13 #define seL4_NumExclusiveBreakpoints (6) 14 #define seL4_NumExclusiveWatchpoints (4) 15 #ifdef CONFIG_HARDWARE_DEBUG_API 16 #define seL4_FirstWatchpoint (6) 17 #define seL4_NumDualFunctionMonitors (0) 18 #endif 19 20 #ifdef CONFIG_ARCH_AARCH32 21 /* Platform support for tqma8xqp1gb is provided for AARCH64 only, even if the 22 * Cortex-A35 supports AARCH32 also. Keep this as a build blocker as long as 23 * AARCH32 remains untested. 24 */ 25 #error "AARCH32 is unsupported" 26 #endif /* CONFIG_ARCH_AARCH32 */ 27