# Set base addresses for all modules
set(BASEADDRESS_XTLDR    0x00010000)
set(BASEADDRESS_XTOSKRNL 0x00400000)