Linux kernel for JSMIPS emulator