xenomai: new package, only mercury for now supported
[openadk.git] / Config.in
blob2467ba59303a72f2a466dc95d1b7a255abdba852
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"
6 # enable tristate
7 config ADK_MODULES
8         bool
9         option modules
10         default y
12 config ADK_HAVE_DOT_CONFIG
13         bool
14         default y
16 source "target/config/Config.in.os"
17 source "target/config/Config.in.hardware"
18 source "target/config/Config.in.boards"
19 source "target/config/Config.in.kernelfmt"
20 source "target/config/Config.in.arch"
21 source "target/config/Config.in.endian"
22 source "target/config/Config.in.system"
23 source "target/config/Config.in.systemopts"
24 source "target/config/Config.in.subsystem"
25 source "target/config/Config.in.qemuopts"
26 source "target/config/Config.in.cpu"
27 source "target/config/Config.in.addons"
29 comment "After you saved your configuration once, you shouldn't change anything above"
30         depends on ADK_TARGET_OS_LINUX && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
32 source "target/config/Config.in.tasks"
34 menu "Firmware configuration"
35         visible if ADK_TARGET_OS_LINUX && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
36 source "target/config/Config.in.rootfs"
37 endmenu
39 source "target/config/Config.in"
41 menu "Package selection"
42         visible if ADK_TARGET_OS_LINUX && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
43 source "package/Config.in.auto.global"
44 source "package/Config.in"
45 menu "Package options"
46 source "package/Config.in.options"
47 endmenu
48 endmenu
50 menu "Runtime configuration"
51         visible if ADK_TARGET_OS_LINUX && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH
52 source "target/config/Config.in.runtime"
53 endmenu
55 menu "Linux Kernel configuration"
56         visible if ADK_TARGET_OS_LINUX && !ADK_TARGET_CHOOSE_ARCH
57 source "target/config/Config.in.kernelversion"
58 source "target/config/Config.in.kernelcfg"
59 source "target/config/Config.in.kernelcmd"
60 source "target/linux/config/Config.in.compression"
62 menu "Advanced Kernel configuration"
63         visible if ADK_TARGET_OS_LINUX && ADK_TARGET_KERNEL_CUSTOMISING && !ADK_APPLIANCE_TOOLCHAIN && !ADK_TARGET_CHOOSE_ARCH && !ADK_TARGET_KERNEL_USE_DEFCONFIG && !ADK_TARGET_KERNEL_USE_CUSTOMCONFIG
64 source "target/linux/Config.in"
65 endmenu
66 endmenu
68 menu "Toolchain settings"
69         visible if !ADK_TARGET_CHOOSE_ARCH
71 config ADK_VENDOR
72         string "Vendor name"
73         default "openadk"
74         help
75           Vendor string is used for toolchain.
77 source "target/config/Config.in.archopts"
78 source "target/config/Config.in.fpu"
79 source "target/config/Config.in.float"
80 source "target/config/Config.in.binfmt"
81 source "target/config/Config.in.libc"
82 source "target/config/Config.in.abi"
83 source "target/config/Config.in.binutils"
84 source "target/config/Config.in.compiler"
85 source "target/config/Config.in.gdb"
86 source "target/config/Config.in.toolchain"
87 endmenu
89 source "target/config/Config.in.adk"