Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Merge branch 'devel'
[palacios.git] / kitten / arch / x86_64 / boot / compressed / Makefile
1 #
2 # lwk/arch/x86_64/boot/compressed/Makefile
3 #
4 # create a compressed vmlwk image from the original vmlwk
5 #
6 # Note all the files here are compiled/linked as 32bit executables.
7 #
8
9 targets         := vmlwk vmlwk.bin vmlwk.bin.gz head.o misc.o piggy.o
10 EXTRA_AFLAGS    := -traditional
11
12 # cannot use EXTRA_CFLAGS because base CFLAGS contains -mkernel which conflicts with
13 # -m32
14 CFLAGS := -m64 -D__KERNEL__ -Iinclude -O2  -fno-strict-aliasing -fPIC -mcmodel=small -fno-builtin
15 LDFLAGS := -m elf_x86_64
16
17 LDFLAGS_vmlwk := -T
18 $(obj)/vmlwk: $(src)/vmlwk.lds $(obj)/head.o $(obj)/misc.o $(obj)/piggy.o FORCE
19         $(call if_changed,ld)
20         @:
21
22 $(obj)/vmlwk.bin: vmlwk FORCE
23         $(call if_changed,objcopy)
24
25 $(obj)/vmlwk.bin.gz: $(obj)/vmlwk.bin FORCE
26         $(call if_changed,gzip)
27
28 LDFLAGS_piggy.o := -r --format binary --oformat elf64-x86-64 -T
29
30 $(obj)/piggy.o: $(obj)/vmlwk.scr $(obj)/vmlwk.bin.gz FORCE
31         $(call if_changed,ld)