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_WALDUX
  13         bool "Waldux"
  14         help
  15           Create a Waldux system or toolchain.
  16
  17 config ADK_TARGET_OS_BAREMETAL
  18         bool "Bare metal"
  19         help
  20           Create a bare metal appliance or toolchain.
  21
  22 config ADK_TARGET_OS_RTEMS
  23         bool "RTEMS"
  24         help
  25           Create a RTEMS appliance or toolchain.
  26
  27 config ADK_TARGET_OS_FROSTED
  28         bool "Frosted"
  29         help
  30           Create a frosted appliance or toolchain.
  31
  32 config ADK_TARGET_OS_ZEPHYR
  33         bool "Zephyr"
  34         help
  35           Create a zephyr appliance or toolchain.
  36
  37 endchoice
  38
  39 config ADK_TARGET_OS
  40         string
  41         default "linux" if ADK_TARGET_OS_LINUX
  42         default "waldux" if ADK_TARGET_OS_WALDUX
  43         default "frosted" if ADK_TARGET_OS_FROSTED
  44         default "rtems5.0.0" if ADK_TARGET_OS_RTEMS
  45         default "zephyr" if ADK_TARGET_OS_ZEPHYR