Skip navigation.
Home

HelenOS/arm32

History

The arm32 port was started by Pavel Jancik, Michal Kebrt and Petr Stepan in 2007 for the Operating systems course at MFF UK. It was merged into the trunk of our Subversion repository in the same year. Vineeth Pillai took over the development of this port in 2008 and in July 2009, he merged his bits into the trunk.

Status

The port is supported on the GXemul simulator's ARM4 testarm target and the Qemu model of the Integrator/CP development board. A port to OpenMoko Freerunner is underway.

Supported hardware

Currently virtual hardware of the GXemul simulator's testarm target and the Qemu model of the Integrator/CP development board is supported. Compatibility with a real Integrator/CP has not been verified so far.

Processors

  • GXemul ARM4
  • ARM926EJ

Interrupt controllers

  • GXemul irqc
  • Integrator/CP IRQC

Time source

  • GXemul rtc
  • Integrator/CP RTC

Input devices

  • GXemul cons
  • pl050

Output devices

  • GXemul cons
  • GXemul fb
  • Integrator/CP fb

Storage devices

  • ramdisk
  • loopback
  • GXemul disk