Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision cc1a727015baab7a3b74509352dc676492e4389c)
+++ boot/Makefile	(revision a347a110d7ea83c8d45c6874cb10eb949d5d595c)
@@ -61,4 +61,9 @@
 		cp "$$file" "$(DIST_PATH)/lib/" ; \
 	done
+ifeq ($(CONFIG_DEVEL_FILES), y)
+	mkdir "$(DIST_PATH)/inc/c/"
+	cp -r -L "$(USPACE_PATH)/lib/c/include/." "$(DIST_PATH)/inc/c/"
+	cat "$(USPACE_PATH)/lib/c/arch/$(UARCH)/_link.ld" | sed 's/^STARTUP(.*)$$//g' > "$(DIST_PATH)/inc/_link.ld"
+endif
 	for file in $(RD_APPS) ; do \
 		cp "$$file" "$(DIST_PATH)/app/" ; \
@@ -94,4 +99,5 @@
 	rm -rf $(USPACE_PATH)/dist/drv/*
 	rm -f $(USPACE_PATH)/dist/lib/*
+	rm -rf $(USPACE_PATH)/dist/inc/*
 	rm -f $(USPACE_PATH)/dist/app/*
 	rm -f $(USPACE_PATH)/dist/cfg/net/*