developing split kernel