diff options
Diffstat (limited to 'extras/mini-os/Makefile')
| -rw-r--r-- | extras/mini-os/Makefile | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile new file mode 100644 index 0000000000..251ee273ba --- /dev/null +++ b/extras/mini-os/Makefile @@ -0,0 +1,40 @@ + +CC := gcc +LD := ld +# Linker should relocate monitor to this address +MONITOR_BASE := 0xE0100000 +CFLAGS := -fno-builtin -O3 -Wall -Ih/ + +TARGET := image.final + +LOBJS:= lib/malloc.o lib/math.o lib/printf.o lib/string.o +OBJS := entry.o kernel.o traps.o hypervisor.o mm.o events.o time.o ${LOBJS} + +HINTF := h/hypervisor-ifs/hypervisor-if.h +HDRS := h/os.h h/types.h h/hypervisor.h h/mm.h h/events.h h/time.h h/lib.h $(HINTF) + +default: $(TARGET) + +$(TARGET): head.o $(OBJS) + # Image will load at 0xC0000000. First bytes from head.o + #$(LD) -N -Ttext 0xC0000000 head.o $(OBJS) -o image.elf + $(LD) -N -T vmlinux.lds head.o $(OBJS) -o image.elf + # 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' >>$@ + # Create a raw bag of bytes from the ELF image. + objcopy -O binary -R .note -R .comment image.elf image.raw + # Guest OS header is immediately followed by raw OS image. + cat image.raw >>$@ + #gzip -f -9 $@ + +clean: + rm -f *.o *~ core image.elf image.raw image.final image.final.gz + +%.o: %.c $(HDRS) Makefile + $(CC) $(CFLAGS) -c $< -o $@ + +%.o: %.S $(HDRS) Makefile + $(CC) $(CFLAGS) -D__ASSEMBLY__ -c $< -o $@ + |