25 lines
458 B
Plaintext
25 lines
458 B
Plaintext
# 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
|