blob: 748860e6872966c9e62e986ab317cb7ecf9c793f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# 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
|
