nodist_include_HEADERS=$(CONFIG_HEADER)

SUBDIRS = 		\
	boilerplate	\
	copperplate	\
	smokey		\
	alchemy		\
	psos 		\
	rtdm		\
	trank		\
	vxworks		\
	xenomai

if XENO_COBALT
SUBDIRS += cobalt
else
SUBDIRS += mercury
endif

DIST_SUBDIRS = 		\
	alchemy		\
	boilerplate	\
	cobalt 		\
	copperplate	\
	mercury		\
	psos 		\
	rtdm		\
	smokey		\
	trank		\
	vxworks		\
	xenomai