1 # This file is part of the OpenADK project. OpenADK is copyrighted
2 # material, please see the LICENCE file in the top-level directory.
4 mainmenu "OpenADK Configuration"
12 config ADK_HAVE_DOT_CONFIG
16 source "target/config/Config.in"
17 source "target/config/Config.in.os"
18 source "target/config/Config.in.hardware"
19 source "target/config/Config.in.boards"
20 source "target/config/Config.in.kernelfmt"
21 source "target/config/Config.in.arch"
22 source "target/config/Config.in.endian"
23 source "target/config/Config.in.system"
24 source "target/config/Config.in.systemopts"
25 source "target/config/Config.in.subsystem"
26 source "target/config/Config.in.qemuopts"
27 source "target/config/Config.in.cpu"
28 source "target/config/Config.in.addons"
30 comment "After you saved your configuration once, you shouldn't change anything above"
31 depends on (ADK_TARGET_OS_LINUX || ADK_TARGET_OS_WALDUX) && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
33 source "target/config/Config.in.tasks"
35 menu "Firmware configuration"
36 visible if (ADK_TARGET_OS_LINUX || ADK_TARGET_OS_WALDUX) && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
37 source "target/config/Config.in.rootfs"
40 menu "Package selection"
41 visible if (ADK_TARGET_OS_LINUX || ADK_TARGET_OS_WALDUX) && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
42 source "package/Config.in.auto.global"
43 source "package/Config.in"
44 menu "Package options"
45 source "package/Config.in.options"
49 menu "Runtime configuration"
50 visible if (ADK_TARGET_OS_LINUX || ADK_TARGET_OS_WALDUX) && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
51 source "target/config/Config.in.runtime"
54 menu "Linux Kernel configuration"
55 visible if ADK_TARGET_OS_LINUX && !ADK_TARGET_CHOOSE_ARCH
56 source "target/linux/Config.in.kernelversion"
57 source "target/linux/Config.in.kernelcfg"
58 source "target/linux/config/Config.in.compression"
59 source "target/config/Config.in.cmdline"
61 menu "Advanced Linux Kernel configuration"
62 visible if ADK_TARGET_OS_LINUX && ADK_TARGET_KERNEL_CUSTOMISING && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH && !ADK_TARGET_LINUX_KERNEL_USE_DEFCONFIG && !ADK_TARGET_LINUX_KERNEL_USE_CUSTOMCONFIG
63 source "target/linux/Config.in"
67 menu "Waldux Kernel configuration"
68 visible if ADK_TARGET_OS_WALDUX && !ADK_TARGET_CHOOSE_ARCH
69 source "target/waldux/Config.in.kernelversion"
70 source "target/waldux/Config.in.kernelcfg"
71 source "target/waldux/config/Config.in.compression"
72 source "target/config/Config.in.cmdline"
74 menu "Advanced Waldux Kernel configuration"
75 visible if ADK_TARGET_OS_WALDUX && ADK_TARGET_KERNEL_CUSTOMISING && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH && !ADK_TARGET_WALDUX_KERNEL_USE_DEFCONFIG && !ADK_TARGET_WALDUX_KERNEL_USE_CUSTOMCONFIG
76 source "target/waldux/Config.in"
80 menu "Frosted kernel configuration"
81 visible if ADK_TARGET_OS_FROSTED && !ADK_TARGET_CHOOSE_ARCH
82 source "target/frosted/Config.in"
85 menu "Frosted application configuration"
86 visible if ADK_TARGET_OS_FROSTED && !ADK_TARGET_CHOOSE_ARCH
87 source "target/frosted/Config.in.apps"
90 menu "Toolchain settings"
91 visible if !ADK_TARGET_CHOOSE_ARCH
93 source "target/config/Config.in.archopts"
94 source "target/config/Config.in.fpu"
95 source "target/config/Config.in.float"
96 source "target/config/Config.in.binfmt"
97 source "target/config/Config.in.libc"
98 source "target/config/Config.in.abi"
99 source "target/config/Config.in.binutils"
100 source "target/config/Config.in.compiler"
101 source "target/config/Config.in.gdb"
102 source "target/config/Config.in.toolchain"
105 source "target/config/Config.in.adk"