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 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.

Processors ¶

• msim R4000
• MIPS 4Kc
• QED R4600