The arm32 port was started by Pavel Jančík, Michal Kebrt and Petr Štěpán 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. During the HelenOS Camp 2010, Jiří Svoboda extended the port to run on the Neo FreeRunner smartphone. Ján Veselý took the port to BeagleBoard xM in 2012 and was followed by Maurizio Lombardi in 2013, who added support for the original BeagleBone. Beniamino Galvani contributed code for RaspberryPi in the same year, which got merged in the early 2014.


The port is fully supported by the HelenOS team and has the standard set of features, even though driver support may not be very rich. The port runs on real hardware as well as on a couple of simulated machines.

Supported hardware

Simulated only:

  • QEMU model of the Integrator/CP development board (compatibility with a real Integrator/CP has not been verified so far)

Real hardware:


  • Samsung S3C2442B (ARM920T core) (ARMv4)
  • ARM926EJ (ARMv5)
  • ARM1176JZF-S (ARMv6)
  • AM37x 1GHz ARM Cortex-A8 compatible (ARMv7)
  • AM335x 720MHz ARM Cortex-A8 (ARMv7)
Last modified 5 years ago Last modified on 2019-05-11T14:51:24Z
Note: See TracWiki for help on using the wiki.