# SPDX-License-Identifier: GPL-2.0
#
# Character device configuration
#

menuconfig SST
	tristate "Modules for system software techniques"
	default y
	help
      TODO

if SST
config SST_BOUNDS
	tristate "Out-of-bounds accesses for exercise a1.3"
	default n
	help
	  Activate out-of-bounds accesses for exercise a1.3

config SST_ASYNC_SOURCE
	tristate "Enable async source of messages from the universe"
	default n
	help
	  This is needed for task a1.4
endif