Index: uspace/app/init/init.c
===================================================================
--- uspace/app/init/init.c	(revision fc0110df7ea7e14571f47118909114c5dbbbd866)
+++ uspace/app/init/init.c	(revision 4ef6645dd99822554c46ff276f9076d4bed7c09d)
@@ -80,4 +80,30 @@
 }
 
+static bool mount_devfs(void)
+{
+	int rc = -1;
+	
+	while (rc < 0) {
+		rc = mount("devfs", "/dev", "null", "", IPC_FLAG_BLOCKING);
+		
+		switch (rc) {
+		case EOK:
+			printf(NAME ": Device filesystem mounted\n");
+			break;
+		case EBUSY:
+			printf(NAME ": Device filesystem already mounted\n");
+			break;
+		case ELIMIT:
+			printf(NAME ": Unable to mount device filesystem\n");
+			return false;
+		case ENOENT:
+			printf(NAME ": Unknown filesystem type (devfs)\n");
+			return false;
+		}
+	}
+	
+	return true;
+}
+
 static void spawn(char *fname)
 {
@@ -102,5 +128,11 @@
 	}
 	
-	// FIXME: spawn("/srv/pci");
+	spawn("/srv/devfs");
+	
+	if (!mount_devfs()) {
+		return(NAME ": Exiting\n");
+		return -2;
+	}
+	
 	spawn("/srv/fb");
 	spawn("/srv/kbd");