-
Notifications
You must be signed in to change notification settings - Fork 0
/
Kconfig
25 lines (23 loc) · 981 Bytes
/
Kconfig
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#
# Copyright (c) 2015, Josef Mihalits
#
# This software may be distributed and modified according to the terms of
# the GNU General Public License version 2. Note that NO WARRANTY is provided.
# See "COPYING" for details.
#
menuconfig APP_DOOM
bool "seL4Doom - DOOM for seL4"
default y
depends on LIB_SEL4 && LIB_CPIO && (LIB_MUSL_C || LIB_SEL4_C) && LIB_SEL4_PLAT_SUPPORT && LIB_SEL4_VKA && LIB_SEL4_UTILS && LIB_UTILS
help
seL4 port of DOOM
config APP_DOOM_CPIO_FILES_FULL
string "List of files to include"
default /usr/share/games/doom/doom1.wad
depends on APP_DOOM
help
A (whitespace) separated list of absolute filenames. The files will
be included in the image. The list must include at least one IWAD
file. (The shareware WAD file should be readily available. It's
probably available via the software management system of your
favorite Linux distro.)