sys-kernelsys-kernelsys-kernel / mips-sources : Linux-Mips GIT sources for MIPS-based machines, dated 20181112Enables support for SGI Octane (IP30, 'Speedracer')