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