Quoting Ralf Baechle <ralf@xxxxxxxxxxxxxx>: > > I don't know what processor core Sigma is using in this SOC. In case its a > 64-bit core, don't waste even a nanosecond on highmem, just go for a 64-bit > kernel, it's much less painful than highmem. > > Ralf > > It is a MIPS 4KEc core.