diff options
| author | Waldemar Brodkorb <wbrodkorb@conet.de> | 2015-01-28 09:47:10 +0100 |
|---|---|---|
| committer | Waldemar Brodkorb <wbrodkorb@conet.de> | 2015-01-28 09:47:10 +0100 |
| commit | f4d07b4d155c15a640692a9b0d44303e32110ece (patch) | |
| tree | 8a0305d37ef90f30a611c3bba14c20584d88b61c /target/linux/config | |
| parent | 01967529cb4c8ee829e55844432d811efc412c7b (diff) | |
add devicetree support for raspberry pi and kernel 3.18
Diffstat (limited to 'target/linux/config')
| -rw-r--r-- | target/linux/config/Config.in.kernel | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/target/linux/config/Config.in.kernel b/target/linux/config/Config.in.kernel index 816982b12..1da519c1c 100644 --- a/target/linux/config/Config.in.kernel +++ b/target/linux/config/Config.in.kernel @@ -203,6 +203,12 @@ config ADK_KERNEL_PREEMPT bool "Enable preemptive kernel" default n +config ADK_KERNEL_BCM2708_DT + bool "Enable Devicetree support" + depends on ADK_TARGET_SYSTEM_RASPBERRY_PI + depends on ADK_KERNEL_VERSION_3_18 + default n + config ADK_KERNEL_CC_OPTIMIZE_FOR_SIZE bool "Optimize for size" # does not boot in qemu |