Our linux kernel for SySo