[common]
com_port:/dev/ttyUSB0
header_filename: header.bin

[fab4-pb1]
image:                redboot-0004.bin
ddr2_init_script:     fab4.cfg
ddr2_load_address:    0x87f00000

[fab4-caleb]
image:                redboot-fab4-caleb.bin
ddr2_init_script:     fab4.cfg
ddr2_load_address:    0x87f00000

[fab4-pb2]
image:                redboot-0005.bin
ddr2_init_script:     fab4.cfg
ddr2_load_address:    0x87f00000


[baby-pa1]
image:                redboot-baby.bin
ddr2_init_script:     baby_ddr2.txt
ddr2_load_address:    0x83F00000