# 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