diff options
Diffstat (limited to 'debian.linaro/config/config.common.ubuntu')
| -rw-r--r-- | debian.linaro/config/config.common.ubuntu | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian.linaro/config/config.common.ubuntu b/debian.linaro/config/config.common.ubuntu index 0dcc1b54aa8..d6c528ffba2 100644 --- a/debian.linaro/config/config.common.ubuntu +++ b/debian.linaro/config/config.common.ubuntu @@ -692,6 +692,7 @@ CONFIG_FUNCTION_TRACER=y CONFIG_FUTEX=y CONFIG_FW_LOADER=y # CONFIG_GAMEPORT is not set +CONFIG_GATOR=m # CONFIG_GCOV_KERNEL is not set CONFIG_GENERIC_ACL=y CONFIG_GENERIC_BUG=y |