kernel:
	$(MAKE) -C .. kernel 
	
clean:
	$(MAKE) -C .. kernelclean
