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 d73563647f5..cc9e434afcf 100644 --- a/debian.linaro/config/config.common.ubuntu +++ b/debian.linaro/config/config.common.ubuntu @@ -693,6 +693,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 |