# $Id: makefile.mi.inc,v 1.1 2007/11/08 22:23:02 init 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

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