Follow us on Google+ Follow us on Facebook Follow us on Twitter



The amd64 port was created by Ondřej Palkovský and the first code was committed during Kernel Camp Harrachov 2005. Since then, the port was continuously maintained, improved and kept up to date also by other members of the team. The port shares some functionality with the related ia32 port.


The port is fully supported by the HelenOS team and supports the standard set of features offered by HelenOS.

Supported hardware

Common consumer PC's and servers with AMD64 and Intel Extended Memory 64 Technology processors inside are supported. Multiprocessor systems are supported. Besides real hardware, a variety of simulators and virtualizers can be used.


  • Intel Xeon with Intel Extended Memory 64 Technology
  • Intel Core
  • Intel Core 2
  • AMD Athlon64
Last modified 11 months ago Last modified on 2015-11-20T08:17:23Z