diff options
Diffstat (limited to 'nuttx/tools/mkconfig.c')
| -rw-r--r-- | nuttx/tools/mkconfig.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/tools/mkconfig.c b/nuttx/tools/mkconfig.c index 1569daf85..ff02a58c0 100644 --- a/nuttx/tools/mkconfig.c +++ b/nuttx/tools/mkconfig.c @@ -330,6 +330,7 @@ int main(int argc, char **argv, char **envp) printf("# undef CONFIG_DEBUG_VERBOSE\n"); printf("# undef CONFIG_DEBUG_SCHED\n"); printf("# undef CONFIG_DEBUG_MM\n"); + printf("# undef CONFIG_DEBUG_PAGING\n"); printf("# undef CONFIG_DEBUG_DMA\n"); printf("# undef CONFIG_DEBUG_FS\n"); printf("# undef CONFIG_DEBUG_LIB\n"); |