123456789101112131415 |
- # This file is part of the OpenADK project. OpenADK is copyrighted
- # material, please see the LICENCE file in the top-level directory.
- choice ADK_TARGET_CPU
- prompt "CPU type"
- depends on ADK_TARGET_SYSTEM_GENERIC_X86_64
- default ADK_TARGET_CPU_X86_64
- help
- Selection of x86_64 CPU type which gives gcc optimization.
- For details on the different types, see:
- https://gcc.gnu.org/onlinedocs/gcc-5.3.0/gcc/x86-Options.html#x86-Options
- endchoice
|