all_kernel:
	make -C kernel platform=$(platform) all

clean_kernel:
	make -C kernel platform=$(platform) clean

format_kernel:
	make -C kernel platform=$(platform) format

.PHONY: all_kernel clean_kernel format_kernel