Index: boot/arch/ia64/loader/gefi/HelenOS/mkimage.c
===================================================================
--- boot/arch/ia64/loader/gefi/HelenOS/mkimage.c	(revision 1baec4bfb381f234bb961bd1b8a4026edfbdd1c8)
+++ boot/arch/ia64/loader/gefi/HelenOS/mkimage.c	(revision 1baec4bfb381f234bb961bd1b8a4026edfbdd1c8)
@@ -0,0 +1,17 @@
+#include<stdio.h>
+#include<stdlib.h>
+
+int main(int argc,char** argv)
+{
+	FILE *fi,*fo;
+	int count=0;
+	int ch;
+	fi=fopen("image.bin","rb");
+	fo=fopen("image.c","wb");
+	fprintf(fo,"char HOSimage[]={\n");
+	if((ch=getc(fi))!=EOF) {fprintf(fo,"0x%02X",ch);count++;}
+	while((ch=getc(fi))!=EOF) {fprintf(fo,",0x%02X",ch);count++;}
+	fprintf(fo,"};\nint HOSimagesize=%d;\n",count);
+	return EXIT_SUCCESS;
+}
+