implemented higher-half kernel