# $Id: makefile.mi.inc,v 1.1.1.1 2007/10/16 08:41:04 init Exp $
# MI Makefile part for funnyOS
#

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

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