target/config/Config.in.os

   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 choice
   5 prompt "Operating System"
   6
   7 config ADK_TARGET_OS_LINUX
   8         bool "Linux"
   9         help
  10           Create a Linux system or toolchain.
  11
  12 config ADK_TARGET_OS_BAREMETAL
  13         bool "Bare metal"
  14         help
  15           Create a bare metal appliance or toolchain.
  16
  17 endchoice
  18
  19 config ADK_TARGET_OS
  20         string
  21         default "linux" if ADK_TARGET_OS_LINUX