kernel:
	cd main && gmake kernel