firmware_opensbi.mk 276 B

12345
  1. sbi: $(uboot) $(vmlinux)
  2. rm -rf $(sbi_wrkdir)
  3. mkdir -p $(sbi_wrkdir)
  4. cd $(sbi_wrkdir) && O=$(sbi_wrkdir) CFLAGS="-mabi=$(ABI) -march=$(ISA)" ${MAKE} -C $(sbi_srcdir) CROSS_COMPILE=$(CROSS_COMPILE) \
  5. PLATFORM=generic FW_PAYLOAD_PATH=$(uboot) FW_FDT_PATH=$(uboot_dtb_file)