target/config/Config.in

   1 # This file is part of the OpenADK project. OpenADK is copyrighted
   2 # material, please see the LICENCE file in the top-level directory.
   3
   4 # global symbols
   5 config ADK_LINUX_64
   6         bool
   7
   8 config ADK_TARGET_KERNEL_64
   9         bool
  10
  11 config ADK_TARGET_GENERIC
  12         bool
  13         select ADK_TARGET_WITH_NET
  14         select ADK_TARGET_WITH_NETDEVICE
  15
  16 config ADK_TARGET_UCLINUX
  17         bool
  18
  19 config ADK_TARGET_SIM
  20         bool
  21         select ADK_TOOLCHAIN_WITH_GDB
  22
  23 config ADK_TARGET_QEMU
  24         bool
  25         select ADK_TARGET_WITH_NET
  26         select ADK_TARGET_WITH_NETDEVICE
  27
  28 config ADK_TARGET_VBOX
  29         bool
  30         select ADK_TARGET_WITH_VGA
  31         select ADK_TARGET_WITH_NET
  32         select ADK_TARGET_WITH_NETDEVICE
  33
  34 # the inverse of ADK_TARGET_KERNEL_CUSTOMISING,
  35 # allows for selecting it off (i.e., to disable it)
  36 config ADK_TARGET_FIXED_KERNEL
  37         bool
  38
  39 config ADK_TARGET_KERNEL_CUSTOMISING
  40         bool
  41         depends on !ADK_TARGET_FIXED_KERNEL
  42         default y
  43
  44 source "target/config/Config.in.tools"