1 # This file is part of the OpenADK project. OpenADK is copyrighted
2 # material, please see the LICENCE file in the top-level directory.
5 prompt "Kernel version" if !ADK_TARGET_CHOOSE_ARCH
6 depends on ADK_TARGET_OS_WALDUX
8 config ADK_TARGET_WALDUX_KERNEL_VERSION_GIT
13 config ADK_TARGET_WALDUX_KERNEL_GIT_REPO
14 string "git repository"
15 depends on ADK_TARGET_WALDUX_KERNEL_VERSION_GIT
16 default "git://openadk.org/git/waldux"
18 GIT repository to use.
20 config ADK_TARGET_WALDUX_KERNEL_GIT
22 depends on ADK_TARGET_WALDUX_KERNEL_VERSION_GIT
25 config ADK_TARGET_WALDUX_KERNEL_GIT_VER
26 string "kernel version"
27 depends on ADK_TARGET_WALDUX_KERNEL_VERSION_GIT
30 config ADK_TARGET_WALDUX_KERNEL_GIT_TYPE
32 depends on ADK_TARGET_WALDUX_KERNEL_VERSION_GIT