[tboot]
options=min_ram=0x2000000 loglvl=all serial=115200,8n1,0x3f8 logging=serial,memory,efi
xenpath=\EFI\Xen\xen.efi

[acm]
0=6th_gen_i5_i7_SINIT_71.BIN
1=5th_gen_i5_i7_SINIT_79.BIN
2=4th_gen_i5_i7_SINIT_75.BIN
3=Xeon-E7-8800-4800-2800-SINIT-v1.1.bin
4=Xeon-5600-3500-SINIT-v1.1.bin
5=3rd_gen_i5_i7_SINIT_67.BIN
6=i7_QUAD_SINIT_51.BIN
7=i5_i7_DUAL_SINIT_51.BIN
8=Q45_Q43_SINIT_51.BIN
9=Q35_SINIT_51.BIN
10=GM45_GS45_PM45_SINIT_51.BIN