src/tests/kernel