Sign in
opensecura
/
3p
/
sel4
/
camkes
/
refs/heads/master
/
.
/
apps
/
debug-simple
/
settings.cmake
blob: c84e5ebd787e104faf7b30e4c55e49b171e6a57e [
file
] [
log
] [
blame
] [
edit
]
#
# Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
#
# The debug component relies on legacy PIC interrupts, so force that
set
(
KernelIRQController
PIC CACHE STRING
""
FORCE
)