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
  14 config ADK_TARGET_UCLINUX
  15         bool
  16
  17 config ADK_TARGET_SIM
  18         bool
  19         select ADK_TOOLCHAIN_WITH_GDB
  20
  21 config ADK_TARGET_QEMU
  22         bool
  23         select ADK_TARGET_WITH_NET
  24         select ADK_TARGET_WITH_NETDEVICE
  25
  26 config ADK_TARGET_VBOX
  27         bool
  28         select ADK_TARGET_WITH_VGA
  29         select ADK_TARGET_WITH_NET
  30         select ADK_TARGET_WITH_NETDEVICE
  31
  32 # the inverse of ADK_TARGET_KERNEL_CUSTOMISING,
  33 # allows for selecting it off (i.e., to disable it)
  34 config ADK_TARGET_FIXED_KERNEL
  35         bool
  36
  37 config ADK_TARGET_KERNEL_CUSTOMISING
  38         bool
  39         depends on !ADK_TARGET_FIXED_KERNEL
  40         default y
  41
  42 source "target/config/Config.in.tools"