| # -*- makefile -*- : Force emacs to use Makefile mode | |
| # Specify EFI image builder | |
| # | |
| ELF2EFI = $(ELF2EFI32) | |
| # Specify EFI boot file | |
| # | |
| EFI_BOOT_FILE = bootriscv32.efi | |
| # Include generic EFI Makefile | |
| # | |
| MAKEDEPS += arch/riscv/Makefile.efi | |
| include arch/riscv/Makefile.efi |