diff options
Diffstat (limited to 'target/config/Config.in.os')
| -rw-r--r-- | target/config/Config.in.os | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/target/config/Config.in.os b/target/config/Config.in.os index 7fff1d521..797567ce1 100644 --- a/target/config/Config.in.os +++ b/target/config/Config.in.os @@ -9,6 +9,11 @@ config ADK_TARGET_OS_LINUX help Create a Linux system or toolchain. +config ADK_TARGET_OS_WALDUX + bool "Waldux" + help + Create a Waldux system or toolchain. + config ADK_TARGET_OS_BAREMETAL bool "Bare metal" help @@ -34,6 +39,7 @@ endchoice config ADK_TARGET_OS string default "linux" if ADK_TARGET_OS_LINUX + default "waldux" if ADK_TARGET_OS_WALDUX default "frosted" if ADK_TARGET_OS_FROSTED default "rtems5.0.0" if ADK_TARGET_OS_RTEMS default "zephyr" if ADK_TARGET_OS_ZEPHYR |