1 # NOTE: This file must be in UNIX format (not DOS) or build_opt_tbl fails:
2 # "Error - Name is an invalid identifier in line"
6 #start-bit length config config-ID name
7 0 512 r 0 reserved_memory1 # We know nothing about the factory BIOS
8 512 512 r 0 reserved_memory2 # More factory BIOS
11 # This is where we would put the LB RTC_BOOT_BYTE options once the code
12 # supports finding them there.
13 #1024 1 e 4 boot_option
15 #1026 1 e 1 ECC_memory
16 #1028 4 r 0 reboot_bits
18 # Options used by XE7501DevKit
20 #1035 1 e 2 hyper_threading
21 #1036 1 e 1 power_on_after_fail
24 #1040 4 e 6 debug_level
26 #1048 16 h 0 check_sum
54 # Checksum FROM bit-location TO bit-location STORE AT bit-location
55 checksum 1024 1047 1048