riscv-pk: run on systems without an FPU

This commit is contained in:
Wesley W. Terpstra 2017-03-28 12:14:26 -07:00
parent f72678a789
commit 21bf370071

View File

@ -89,7 +89,7 @@ $(bbl): $(pk_srcdir) $(vmlinux_stripped)
cd $(pk_wrkdir) && $</configure \ cd $(pk_wrkdir) && $</configure \
--host=$(target) \ --host=$(target) \
--with-payload=$(vmlinux_stripped) --with-payload=$(vmlinux_stripped)
$(MAKE) -C $(pk_wrkdir) CFLAGS="-mabi=lp64 -march=rv64imac" $(MAKE) -C $(pk_wrkdir)
$(bin): $(bbl) $(bin): $(bbl)
$(target)-objcopy -S -O binary --change-addresses -0x80000000 $< $@ $(target)-objcopy -S -O binary --change-addresses -0x80000000 $< $@