blob: 290783cc626ee63a79b12e784d342f55b324e42d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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
|