Update kernel_configs.md

This commit is contained in:
Dmitry Vyukov 2018-04-27 16:03:10 +02:00 committed by GitHub
parent 7785e4049f
commit 195cc154e2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -22,6 +22,12 @@ To show code coverage in web interface:
CONFIG_DEBUG_INFO=y
```
For detection of enabled syscalls and kernel bitness:
```
CONFIG_KALLSYMS=y
CONFIG_KALLSYMS_ALL=y
```
For `namespace` sandbox:
```
CONFIG_NAMESPACES=y