Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision be1dcc2699d4c96f7d72aa17f9743e49dfc9ec30)
+++ 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