diff options
Diffstat (limited to 'userspace/Makefile.configs')
-rw-r--r-- | userspace/Makefile.configs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/userspace/Makefile.configs b/userspace/Makefile.configs new file mode 100644 index 00000000..d7e807af --- /dev/null +++ b/userspace/Makefile.configs | |||
@@ -0,0 +1,15 @@ | |||
1 | # | ||
2 | # Define various configs such as VIDMEM, etc. This is a bit annoying since | ||
3 | # this really should be specific to Linux, but many header files need to | ||
4 | # be aware of the CONFIG_* defines. As such we replicate some of the configs | ||
5 | # that we potientially will want enabled in testing. | ||
6 | # | ||
7 | |||
8 | configs := | ||
9 | |||
10 | # Enabled configs. | ||
11 | # None right now! | ||
12 | |||
13 | # Uncomment these to enable the config. | ||
14 | # configs += -DCONFIG_NVGPU_TRACK_MEM_USAGE=y | ||
15 | # configs += -DCONFIG_GK20A_VIDMEM | ||