diff options
Diffstat (limited to 'xenolinux-2.4.23-sparse/arch/xeno/boot/Makefile')
| -rw-r--r-- | xenolinux-2.4.23-sparse/arch/xeno/boot/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/xenolinux-2.4.23-sparse/arch/xeno/boot/Makefile b/xenolinux-2.4.23-sparse/arch/xeno/boot/Makefile new file mode 100644 index 0000000000..290783cc62 --- /dev/null +++ b/xenolinux-2.4.23-sparse/arch/xeno/boot/Makefile @@ -0,0 +1,22 @@ +# +# arch/xeno/boot/Makefile +# + +xenolinux.gz: xenolinux + gzip -f -9 < $< > $@ + +xenolinux: $(TOPDIR)/vmlinux + # Guest OS header -- first 8 bytes are identifier 'XenoGues'. + echo -e -n 'XenoGues' >$@ + # Guest OS header -- next 4 bytes are load address (0xC0000000). + echo -e -n '\000\000\000\300' >>$@ + $(OBJCOPY) $< xenolinux.body + # Guest OS header is immediately followed by raw OS image. + # Start address must be at byte 0. + cat xenolinux.body >>$@ + rm -f xenolinux.body + +dep: + +clean: + rm -f xenolinux xenolinux.gz
\ No newline at end of file |