Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision f061e40457bcea583cf7b5dcf8f060bb2895c00f)
+++ HelenOS.config	(revision d21e935c48590982d3b2557f2fe140922a9a4ba4)
@@ -556,5 +556,5 @@
 
 % Include development files (headers, libraries)
-! [RDFMT=tmpfs|RDFMT=ext2fs] CONFIG_DEVEL_FILES (n/y)
+! CONFIG_DEVEL_FILES (n/y)
 
 % Strip binaries