blob: ee63e72338c4d5648e6f7fc56d1034b6fc6bb10b [file] [log] [blame]
# Physical Memory Protection (PMP) configuration options
# Copyright (c) 2020 BayLibre, SAS
# SPDX-License-Identifier: Apache-2.0
config PMP_SLOT
int "Number of PMP slot"
default 8
help
Depend of the arch/board. Take care to don't put value higher
than the Hardware allow you.
config PMP_POWER_OF_TWO_ALIGNMENT
bool "Power of two alignment"
default n
select MPU_REQUIRES_POWER_OF_TWO_ALIGNMENT
select GEN_PRIV_STACKS
help
This option will reduce the PMP slot number usage but increase
the memory consumption.
config PMP_STACK_GUARD
bool "Thread Stack Guard"
default n
help
Enable Thread Stack Guards via PMP
if PMP_STACK_GUARD
config PMP_STACK_GUARD_MIN_SIZE
int "Guard size"
default 16
help
Minimum size (and alignment when applicable) of an stack guard
region, which guards the stack of a thread. The width of the
guard is set to 16 bytes, to accommodate the riscv
granularity.
endif # PMP_STACK_GUARD