To compile the HelenOS from sources (the cross compilers from the build/ directory are recommended):
build/
# make config
# make
The image.iso should be created on success.
image.iso