The HelenOS documentation should explain how to do this. If you want another example which has entirely Windows hosted development and a includes an OS Bootloader for x86 based machines then I would take a look at the
SanOS[
^] project which is a fantastic small OS example.