##
## $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