Rework kernel tree