1# Bring in the mini-libc that we wrote 2 3KBOOTSRC=${BOOTSRC}/kboot 4CFLAGS+=-I${KBOOTSRC}/include -I${KBOOTSRC}/include/arch/${MACHINE_ARCH} 5LIBKBOOT=${BOOTOBJ}/kboot/libkboot/libkboot.a 6 7.include "../Makefile.inc" 8