# $Id: makefile.mi.inc,v 1.3 2007/11/20 16:09:47 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+= ../../tasks/*.c

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