include source/firmware/arch/arch.mk include source/firmware/kernel/kernel.mk