bitkeeper revision 1.483 (3f81a3e2iM-0WXaGxUS3ywM3_KZqLw)

move mini-os to extras directory

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 $@
+