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