# Gauntlet/Makefile
# Created by Adam Wiggins: 18/09/1999
# Last Modified by Adam Wiggins: 09/11/1999
# Toplevel Makefile for Gauntlet
include ./Makefile.conf

SUBDIRS=kernel sigma0
HEX=gauntlet_$(PLATFORM).hex
KERNEL=gauntlet_$(PLATFORM).img
SIGMA0=sigma0/sigma0_$(PLATFORM).bin

all: kernel_image sigma0_image ./Makefile ./Makefile.conf

kernel_image:
	(cd kernel; $(MAKE))
	$(OBJCOPY) -O ihex $(KERNEL) $(HEX)

sigma0_image:
#	(cd sigma0; $(MAKE))

clean:
	rm -f *.img *.hex
	@for i in $(SUBDIRS);\
	do \
	(cd $$i; $(MAKE) clean);\
	done
