Our SySo linux kernel