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 |