# Please do not change this file without knowing what you do
-DBASE_RESET_BIN=0xfff0000000\
-DBASE_Q_BIN=0xfff0010000\
-DBASE_OPENBOOT_BIN=0xfff0080000\
-DBASE_HV_BIN=0x1f12080000\
-DBASE_MD_BIN=0x1f12000000\
-DBASE_NVRAM1=0x1f11000000\
-DBASE_DISK1=0x1f40000000\
-DBASE_GUEST=0x9f10000000\
-DBASE_HYPER=0xfff0c2c000"