context verification
load kernel