Rev 4348 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4348 | Rev 4389 | ||
|---|---|---|---|
| Line 274... | Line 274... | ||
| 274 | if (EOK != device_register(driver_phone, "initrd", &dev_handle)) { |
274 | if (EOK != device_register(driver_phone, "initrd", &dev_handle)) { |
| 275 | ipc_hangup(driver_phone); |
275 | ipc_hangup(driver_phone); |
| 276 | printf(NAME ": Unable to register device\n"); |
276 | printf(NAME ": Unable to register device\n"); |
| 277 | return false; |
277 | return false; |
| 278 | } |
278 | } |
| - | 279 | ||
| - | 280 | /* |
|
| - | 281 | * Create the second device. |
|
| - | 282 | * We need at least two devices for the sake of testing of non-root |
|
| - | 283 | * mounts. Of course it would be better to allow the second device |
|
| - | 284 | * be created dynamically... |
|
| - | 285 | */ |
|
| - | 286 | if (EOK != device_register(driver_phone, "spared", &dev_handle)) { |
|
| - | 287 | ipc_hangup(driver_phone); |
|
| - | 288 | printf(NAME ": Unable to register device\n"); |
|
| - | 289 | return false; |
|
| - | 290 | } |
|
| 279 | 291 | ||
| 280 | return true; |
292 | return true; |
| 281 | } |
293 | } |
| 282 | 294 | ||
| 283 | int main(int argc, char **argv) |
295 | int main(int argc, char **argv) |