src/tests/kernel/arch