Index: boot/Makefile
===================================================================
--- boot/Makefile	(revision ff042c0d0d42ab2ec016699d5ce1da917d557538)
+++ boot/Makefile	(revision 53238ba0f652df9cecdff97e15f7dd0c64e78060)
@@ -80,4 +80,7 @@
 		cp "$(USPACE_PATH)/$(DRVS_PATH)/$$file_dir/$$file_name/$$file_name.dev" "$(DIST_PATH)/$(DRVS_PATH)/$$file_name/" ; \
 	done
+	if ls $(DIST_OVERLAY_PATH)/* >/dev/null; then \
+		cp -r -L $(DIST_OVERLAY_PATH)/* "$(DIST_PATH)"; \
+	fi
 
 clean: clean_dist
Index: boot/Makefile.common
===================================================================
--- boot/Makefile.common	(revision ff042c0d0d42ab2ec016699d5ce1da917d557538)
+++ boot/Makefile.common	(revision 53238ba0f652df9cecdff97e15f7dd0c64e78060)
@@ -48,4 +48,5 @@
 USPACE_PATH = $(ROOT_PATH)/uspace
 DIST_PATH = $(USPACE_PATH)/dist
+DIST_OVERLAY_PATH = $(USPACE_PATH)/overlay
 TOOLS_PATH = $(ROOT_PATH)/tools
 DRVS_PATH = drv