# Set base addresses for all modules
set(BASEADDRESS_XTLDR    0x000000000000F800)
set(BASEADDRESS_XTOSKRNL 0x0000000140000000)