Fork us on GitHub Follow us on Facebook Follow us on Twitter

Version 5 (modified by Jakub Jermář, 7 years ago) (diff)

Update the arm32 arch page.



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. During the HelenOS Camp 2010, Jiri Svoboda extended the port to run on the Neo FreeRunner smartphone. Jan Vesely 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:

  • GXemul simulator's testarm target (D)
  • QEMU model of the Integrator/CP development board (compatibility with a real Integrator/CP has not been verified so far)

Real hardware:


  • GXemul ARM4
  • ARM926EJ
  • Samsung S3C2442B (ARM920T core)