HelenOS/mips32

History

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.

Status

The port is supported only on the GXemul simulator's testmips target and the msim simulator. At some point and to a limited extent, it used to run on SGI Indy workstation and the Simics malta model.

Supported hardware

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

Processors

• msim R4000
• GXemul R4000/R4400
• Simics 4KC processor
• QED R4600