include build/make.config

srctree := $(PWD)

all: 
	$(make) -C $(srctree)/kernel srctree=$(srctree) all

clean:
	$(make) -C $(srctree)/kernel srctree=$(srctree) clean

include platform/make.$(platform)

.PHONY: all clean