add kernel tools