HelenOS/amd64

History

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.

Status

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.

Processors

• Intel Xeon with Intel Extended Memory 64 Technology
• Intel Core
• Intel Core 2
• AMD Athlon64