Version 2 (modified by Jakub Jermář, 10 years ago) ( diff )



The mips32 port was created by Jakub Jermar in 2003 by backporting his contributions to a students' kernel developed for the Operating systems course at MFF UK back to HelenOS. Ondrej Palkovsky 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
Note: See TracWiki for help on using the wiki.