#
# For a description of the syntax of this configuration file,
# see the file kconfig-language.txt in the NuttX tools repository.
#

menu "Safety Driver Support"

config SAFETY
	bool "Safety Character Driver Support"
	default n
	---help---
		This selection enables building of the "upper-half" Safety driver.
		See include/nuttx/safety/safety.h for further Safety
		driver information.

if SAFETY

config SAFETY_REGISTER_MONITOR
	bool "Register Monitor Support"
	default n
	---help---
		use the Register Monitor to check whether the register has been changed.
		If the register has been changed, the Register Monitor will send a
		message to the Safety driver.

config SAFETY_MPU_MONITOR
	bool "MPU Monitor Support"
	default n
	---help---
		use the MPU Monitor to check whether the MPU work properly.

endif # SAFETY

endmenu # Safety Driver Support