f5110f7988
with PPCBOOT as firmware. XXX PCI devices are not found.
20 lines
490 B
PHP
20 lines
490 B
PHP
# $NetBSD: Makefile.ev64260.inc,v 1.2 2003/03/16 07:07:17 matt Exp $
|
|
|
|
MKIMG?= ${THISPPC}/compile/walnut-mkimg.sh
|
|
|
|
TEXTADDR?= 300000
|
|
|
|
SYSTEM_FIRST_OBJ= ${BOARDTYPE}_locore.o
|
|
SYSTEM_FIRST_SFILE= ${THISPPC}/${BOARDTYPE}/${BOARDTYPE}_locore.S
|
|
|
|
.ifdef DBSYM
|
|
SYSTEM_LD_TAIL_EXTRA+=; \
|
|
echo "${DBSYM} $@ || true"; \
|
|
${DBSYM} $@ || true
|
|
.endif
|
|
|
|
SYSTEM_LD_TAIL_EXTRA+=; \
|
|
echo ${MKIMG} netbsd netbsd.img ; \
|
|
OBJDUMP=${OBJDUMP}; OBJCOPY=${OBJCOPY}; export OBJDUMP OBJCOPY; \
|
|
${MKIMG} $@ $@.img
|