Some basic kernel tests and controller interface implemented