Linux kernel used in the robot Erle