# $Id: makefile.mi.inc,v 1.2 2007/12/21 17:42:06 nbrk Exp $
# MI Makefile part for funnyOS
#

# machine independent source files
MISRC=  ../../kern/*.c 
MISRC+= ../../libkern/*.c
MISRC+= ../../libkern/*.S
MISRC+= ../../dev/fcons/*.c
MISRC+= ../../dev/*.c
MISRC+= ../../dev/sdmmc/*.c

# mi headers
MIHDR=  ../../sys/*.h
MIHDR+= ../../libkern/*.h
MIHDR+= ../../dev/fcons/*.h
MIHDR+= ../../dev/sdmmc/*.h