3 # User-controllable options
4 grub_modinfo_target_cpu
=@target_cpu@
5 grub_modinfo_platform
=@platform@
6 grub_disk_cache_stats
=@DISK_CACHE_STATS@
7 grub_boot_time_stats
=@BOOT_TIME_STATS@
8 grub_have_font_source
=@HAVE_FONT_SOURCE@
11 grub_have_asm_uscore
=@HAVE_ASM_USCORE@
12 grub_i8086_addr32
="@ADDR32@"
13 grub_i8086_data32
="@DATA32@"
14 grub_bss_start_symbol
="@BSS_START_SYMBOL@"
15 grub_end_symbol
="@END_SYMBOL@"
18 grub_target_cc
='@TARGET_CC@'
19 grub_target_cc_version
='@TARGET_CC_VERSION@'
20 grub_target_cflags
='@TARGET_CFLAGS@'
21 grub_target_cppflags
='@TARGET_CPPFLAGS@'
22 grub_target_ccasflags
='@TARGET_CCASFLAGS@'
23 grub_target_ldflags
='@TARGET_LDFLAGS@'
24 grub_target_strip
='@TARGET_STRIP@'
25 grub_target_nm
='@TARGET_NM@'
26 grub_target_ranlib
='@TARGET_RANLIB@'
27 grub_target_objconf
='@TARGET_OBJCONV@'
28 grub_target_obj2elf
='@TARGET_OBJ2ELF@'
31 grub_version
="@VERSION@"
32 grub_package
="@PACKAGE@"
33 grub_package_string
="@PACKAGE_STRING@"
34 grub_package_version
="@PACKAGE_VERSION@"
35 grub_package_name
="@PACKAGE_NAME@"
36 grub_package_bugreport
="@PACKAGE_BUGREPORT@"