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) |