doxygen_kernel:
	make -C kernel platform=$(platform) doxygen

docs: doxygen_kernel
	mkdocs build

.PHONY: docs doxygen_kernel