CFLAGS += -O2
ELF_ARCH = i386
ELF_FORMAT = elf32-i386

obj-y = crt0.o delay.o signal.o syscalls.o semaphore.o io.o sys_i386.o bitops.o user.o

obj-$(CONFIG_MODULES)	+= module.o

vmlinux.img: vmlinux
	echo "SECTIONS { .mod_root : { *(.data) } }" > $@.lds
	$(LD) -T $@.lds -r --oformat default -o $@ -bbinary $<
	$(RM) $@.lds


ELFDIR    := contrib/elf-loader
ELFSCRIPT := $(L4ROOT)/user/$(ELFDIR)/platform/$(PLAT)/linker.lds
ELFOBJS   := $(foreach DIR,common platform/$(PLAT),\
	$(wildcard $(L4BUILDDIR)/$(ELFDIR)/$(DIR)/*.o))
ELFMODS   := $(foreach MOD,kernel sigma0,$(L4BUILDDIR)/$(ELFDIR)/$(MOD).img)

LIBGCC=$(CC) -print-libgcc-file-name
LIBGCCDIR=`$(LIBGCC) | sed 's,/[[^/]]*,,'`

vmlinux.bootimg: vmlinux.img $(ELFOBJS) $(ELFMODS)
	$(LD) $(LDFLAGS) $(LDDIRS)\
	-L$(L4BUILDDIR)/lib -T$(ELFSCRIPT)  -o $@ \
		$(ELFOBJS) $(ELFMODS) $< -lio $(LIBGCCDIR) 

boot:	vmlinux
	@scp vmlinux carl@serp:/tftp/roottask.i386
