mirror of
https://github.com/ipxe/ipxe
synced 2026-01-21 18:30:56 +03:00
Add basic support for running directly on top of SBI, with no UEFI
firmware present. Build as e.g.:
make CROSS=riscv64-linux-gnu- bin-riscv64/ipxe.sbi
The resulting binary can be tested in QEMU using e.g.:
qemu-system-riscv64 -M virt -cpu max -serial stdio \
-kernel bin-riscv64/ipxe.sbi
No drivers or executable binary formats are supported yet, but the
unit test suite may be run successfully.
Signed-off-by: Michael Brown <mcb30@ipxe.org>
23 lines
491 B
Makefile
23 lines
491 B
Makefile
# Assembler section type character
|
|
#
|
|
ASM_TCHAR := @
|
|
ASM_TCHAR_OPS := @
|
|
|
|
# Include RISCV-specific headers
|
|
#
|
|
INCDIRS := arch/$(ARCH)/include arch/riscv/include $(INCDIRS)
|
|
|
|
# RISCV-specific directories containing source files
|
|
#
|
|
SRCDIRS += arch/riscv/core
|
|
SRCDIRS += arch/riscv/interface/sbi
|
|
SRCDIRS += arch/riscv/prefix
|
|
|
|
# RISCV-specific flags
|
|
#
|
|
CFLAGS += -mno-strict-align -mno-plt
|
|
|
|
# EFI requires -fshort-wchar, and nothing else currently uses wchar_t
|
|
#
|
|
CFLAGS += -fshort-wchar
|