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