higher-half kernel done