diff options
| author | Masahiro Yamada <yamada.m@jp.panasonic.com> | 2014-10-20 17:45:57 +0900 |
|---|---|---|
| committer | Tom Rini <trini@ti.com> | 2014-10-27 17:54:10 -0400 |
| commit | cf6bbe4c6114126eaab215ea84267c7aa7ab08a1 (patch) | |
| tree | b1c9630f4c65c60f9ac4923e78f9f5d4aad67da7 /Kconfig | |
| parent | 02627356b6ec5512f68d2eabaac6ff325111542e (diff) | |
kconfig: add CONFIG_SUPPORT_TPL
CONFIG_TPL should not be enabled for boards that do not have TPL.
CONFIG_SUPPORT_TPL introduced by this commit should be "select"ed
by boards with TPL support and CONFIG_TPL should depend on it.
Signed-off-by: Masahiro Yamada <yamada.m@jp.panasonic.com>
Diffstat (limited to 'Kconfig')
| -rw-r--r-- | Kconfig | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -73,6 +73,9 @@ config TPL_BUILD config SUPPORT_SPL bool +config SUPPORT_TPL + bool + config SPL bool depends on SUPPORT_SPL @@ -83,7 +86,7 @@ config SPL config TPL bool - depends on SPL + depends on SPL && SUPPORT_TPL prompt "Enable TPL" if !SPL_BUILD default y if TPL_BUILD default n |