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