push kernel directory