Fork us on GitHub Follow us on Facebook Follow us on Twitter



The mips32 port was created by Jakub Jermář in 2003 by backporting his contributions to a students' kernel developed for the Operating systems course at MFF UK back to HelenOS. Ondřej Palkovský later finished the port and improved it considerably.


The port is supported only on the msim simulator and the MIPS Malta machine emulated by QEMU.

Supported hardware

Currently only the MIPS R4000 and MIPS 4KC family processors and virtual hardware present in the QEMU MIPS Malta machine and the msim simulator are supported.


  • msim R4000
  • MIPS 4Kc
  • QED R4600
Last modified 7 years ago Last modified on 2015-11-20T08:19:22Z