Rev 3243 | Rev 3346 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3243 | Rev 3256 | ||
|---|---|---|---|
| Line 55... | Line 55... | ||
| 55 | { |
55 | { |
| 56 | int rc = -1; |
56 | int rc = -1; |
| 57 | 57 | ||
| 58 | while (rc < 0) { |
58 | while (rc < 0) { |
| 59 | rc = mount(fstype, "/", "initrd"); |
59 | rc = mount(fstype, "/", "initrd"); |
| 60 | 60 | ||
| 61 | switch (rc) { |
61 | switch (rc) { |
| 62 | case EOK: |
62 | case EOK: |
| 63 | printf(NAME ": Root filesystem mounted\n"); |
63 | printf(NAME ": Root filesystem mounted\n"); |
| 64 | break; |
64 | break; |
| 65 | case EBUSY: |
65 | case EBUSY: |
| 66 | printf(NAME ": Root filesystem already mounted\n"); |
66 | printf(NAME ": Root filesystem already mounted\n"); |
| 67 | break; |
67 | break; |
| 68 | case ELIMIT: |
68 | case ELIMIT: |
| 69 | printf(NAME ": Unable to mount root filesystem\n"); |
69 | printf(NAME ": Unable to mount root filesystem\n"); |
| 70 | return false; |
70 | return false; |
| - | 71 | case ENOENT: |
|
| - | 72 | printf(NAME ": Unknown filesystem type (%s)\n", fstype); |
|
| - | 73 | return false; |
|
| 71 | default: |
74 | default: |
| 72 | sleep(5); // FIXME |
75 | sleep(5); // FIXME |
| 73 | } |
76 | } |
| 74 | } |
77 | } |
| 75 | 78 | ||