Add tests in kernel-impl