diff options
Diffstat (limited to 'src/Makefile.housekeeping')
| -rw-r--r-- | src/Makefile.housekeeping | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping index ba61e2166..2b4356de1 100644 --- a/src/Makefile.housekeeping +++ b/src/Makefile.housekeeping @@ -352,6 +352,8 @@ arch : # Determine build platform DEFAULT_PLATFORM_i386 := pcbios DEFAULT_PLATFORM_x86_64 := pcbios +DEFAULT_PLATFORM_riscv32 := sbi +DEFAULT_PLATFORM_riscv64 := sbi DEFAULT_PLATFORM := $(DEFAULT_PLATFORM_$(ARCH)) PLATFORM := $(firstword $(BIN_PLATFORM) $(DEFAULT_PLATFORM) none) CFLAGS += -DPLATFORM=$(PLATFORM) -DPLATFORM_$(PLATFORM) |