Hi Matt,Does anything ever enter the kernel through startup_64 in head_64.S?[*] Doall 64-bit mode entries always enter through one of the EFI entry points?Thanks,David[*] I know startup_32 goes through there, but that's internal