Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision fb7e5a9acaa179da3a894bc9c613dbfd9df3e4d7)
+++ boot/Makefile	(revision 7c014d1fbbe9734e6ee3616fac584d8cc996df36)
@@ -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/*
Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision fb7e5a9acaa179da3a894bc9c613dbfd9df3e4d7)
+++ boot/Makefile.common	(revision 7c014d1fbbe9734e6ee3616fac584d8cc996df36)
@@ -129,4 +129,11 @@
 
 RD_LIBS =
+
+ifeq ($(CONFIG_DEVEL_FILES), y)
+	RD_LIBS += \
+		$(USPACE_PATH)/lib/c/libc.a \
+		$(USPACE_PATH)/lib/softint/libsoftint.a \
+		$(USPACE_PATH)/lib/softfloat/libsoftfloat.a
+endif
 
 ifeq ($(CONFIG_BUILD_SHARED_LIBS), y)
@@ -177,4 +184,18 @@
 	$(USPACE_PATH)/app/websrv/websrv
 
+ifeq ($(CONFIG_PCC),y)
+RD_APPS_NON_ESSENTIAL += \
+	$(USPACE_PATH)/app/cc/cc \
+	$(USPACE_PATH)/app/ccom/ccom \
+	$(USPACE_PATH)/app/ccom/mkext/cc_mkext \
+	$(USPACE_PATH)/app/cpp/cpp
+endif
+
+ifeq ($(CONFIG_BINUTILS),y)
+RD_APPS_NON_ESSENTIAL += \
+	$(USPACE_PATH)/app/binutils/bin/as \
+	$(USPACE_PATH)/app/binutils/bin/ld
+endif
+
 ifneq ($(CONFIG_BAREBONE),y)
 NET_CFG = \