Changeset 87d3ecf in mainline

Timestamp:

2009-06-14T14:29:42Z (16 years ago)

Author:

Jiri Svoboda <jirik.svoboda@…>

Branches:

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

Children:

0ed2e0e

Parents:

c51a7cd

Message:

Display type of root filesystem and root device upon boot.

File:

• uspace/app/init/init.c (modified) (2 diffs)

uspace/app/init/init.c

@@ -58 +58 @@
         int rc = -1;
         char *opts = "";
+        const char *root_dev = "initrd";
         
         if (str_cmp(fstype, "tmpfs") == 0)
@@ -63 +64 @@
 
         while (rc < 0) {
-                rc = mount(fstype, "/", "initrd", opts, IPC_FLAG_BLOCKING);
+                rc = mount(fstype, "/", root_dev, opts, IPC_FLAG_BLOCKING);
                 
                 switch (rc) {
                 case EOK:
-                        printf(NAME ": Root filesystem mounted\n");
+                        printf(NAME ": Root filesystem mounted, %s at %s\n",
+                            fstype, root_dev);
                         break;
                 case EBUSY: