# -*- makefile -*-

#include_HEADERS = $(notdir $(wildcard $(SOURCES_DIR)/*.h))

include_HEADERS = cpu_def.h hal_intr.h types.h bbconf_info.h