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