progress toward kernel dynamic dispatch