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