##
## $Id: Makefile.in 172 2006-07-26 15:00:01Z sdi2 $
##
## Description: Interface creation for SDI
##
srcdir = @srcdir@
top_srcdir = @top_srcdir@
top_builddir = @top_builddir@
include $(top_srcdir)/Mk/l4.base.mk
IDLS = \
types.idl \
iflogging.idl \
iflocator.idl \
ifpci.idl \
iffile.idl \
ifframebuffer.idl \
ifmemory.idl \
ifsyscall.idl \
ifblockdev.idl \
iffiledirectory.idl
include $(top_srcdir)/Mk/sdi.idl.mk
