target/config/Config.in.abi.choice

   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 "ABI"
   6 depends on ADK_TARGET_ARCH_MIPS64
   7
   8 config ADK_TARGET_ABI_N32
   9         bool "N32 ABI"
  10
  11 config ADK_TARGET_ABI_N64
  12         bool "N64 ABI"
  13
  14 config ADK_TARGET_ABI_O32
  15         bool "O32 ABI"
  16
  17 endchoice
  18
  19 choice
  20 prompt "ABI"
  21 depends on ADK_TARGET_ARCH_X86_64 && \
  22         (ADK_TARGET_LIB_GLIBC || ADK_TARGET_LIB_MUSL)
  23
  24 config ADK_TARGET_ABI_64
  25         bool "64 Bit ABI"
  26
  27 config ADK_TARGET_ABI_X32
  28         bool "x32 ABI"
  29
  30 endchoice