Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision 3acd1bbbc798671d0d42673c2e902088d0f5ecd8)
+++ boot/Makefile	(revision d8d7a0d35bbd752aa55636ffce58de262efc3f60)
@@ -61,4 +61,6 @@
 	mkdir "$(DIST_PATH)/inc/c/"
 	cp -r -L "$(USPACE_PATH)/lib/c/include/." "$(DIST_PATH)/inc/c/"
+	cp -r -L "$(ROOT_PATH)/abi/include/." "$(DIST_PATH)/inc/c/"
+	cp -r -L "$(USPACE_PATH)/lib/c/arch/$(UARCH)/include/." "$(DIST_PATH)/inc/c/"
 	cat "$(USPACE_PATH)/lib/c/arch/$(UARCH)/_link.ld" | sed 's/^STARTUP(.*)$$//g' > "$(DIST_PATH)/inc/_link.ld"
 endif