Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision 6c5fc8e64e6f490c80d5b81a11bd62778227d0c9)
+++ boot/Makefile	(revision ea906c296a71e3f2edea0bfac602ee88cf04f607)
@@ -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