# $Id: makefile.mi.inc,v 1.2 2007/10/25 18:20:30 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