SWI handler and related code with tests
Commented kernel.c