SVN import from the Open2x project at https://sourceforge.net/p/open2x/
Open2x kernel source trees can be found in this module.