diff options
author | Waldemar Brodkorb <mail@waldemar-brodkorb.de> | 2014-01-22 19:07:26 +0100 |
---|---|---|
committer | Waldemar Brodkorb <mail@waldemar-brodkorb.de> | 2014-01-22 19:07:26 +0100 |
commit | 8e0a610b3e81f2a7b8e21ca3f40d0fe3c9ba941b (patch) | |
tree | 0e8862a580c7d0783336071855eb32a629e35690 /target/linux | |
parent | f9ec0950195c9d1ddf6bf22fa0d54634779c775d (diff) |
convert raspberry-pi to miniconfig
Diffstat (limited to 'target/linux')
-rw-r--r-- | target/linux/kernel.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/target/linux/kernel.config b/target/linux/kernel.config index 8bf3aafe6..491b04c92 100644 --- a/target/linux/kernel.config +++ b/target/linux/kernel.config @@ -26,6 +26,7 @@ CONFIG_DEVTMPFS_MOUNT=y CONFIG_STANDALONE=y CONFIG_NO_HZ=y CONFIG_PRINTK=y +CONFIG_CC_OPTIMIZE_FOR_SIZE=y CONFIG_BUG=n CONFIG_FUTEX=y CONFIG_EPOLL=y |