Changeset a095d20 in mainline for uspace

Timestamp:

2009-05-21T07:05:25Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

1601f3c

Parents:

cb41a5e

Message:

add simple devfs filesystem and mount it as /dev
add generic NULL device "null"

Location:

uspace

Files:

• Makefile (modified) (1 diff)
• app/init/init.c (modified) (2 diffs)
• srv/fs/devfs/Makefile (added)
• srv/fs/devfs/devfs.c (added)
• srv/fs/devfs/devfs.h (added)
• srv/fs/devfs/devfs_ops.c (added)
• srv/fs/devfs/devfs_ops.h (added)

uspace/Makefile

@@ -47 +47 @@
         srv/fs/fat \
         srv/fs/tmpfs \
+        srv/fs/devfs \
         srv/vfs \
         srv/devmap \

uspace/app/init/init.c

@@ -80 +80 @@
 }
 
+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 +128 @@
         }
         
-        // FIXME: spawn("/srv/pci");
+        spawn("/srv/devfs");
+        
+        if (!mount_devfs()) {
+                return(NAME ": Exiting\n");
+                return -2;
+        }
+        
         spawn("/srv/fb");
         spawn("/srv/kbd");