build: disable core 0 (E51) when booting linux

This commit is contained in:
Wesley W. Terpstra
2017-04-06 10:50:35 -07:00
parent 1c7333d856
commit e242697e16
2 changed files with 2 additions and 2 deletions

View File

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