77 |
l4_accept (L4_UNTYPED_WORDS_ACCEPTOR); |
l4_accept (L4_UNTYPED_WORDS_ACCEPTOR); |
78 |
|
|
79 |
/* FIXME: Allocate a system console driver. */ |
/* FIXME: Allocate a system console driver. */ |
80 |
err = deva_alloc (&obj); |
err = device_alloc (&obj, DEVICE_CONSOLE); |
81 |
if (err) |
if (err) |
82 |
panic ("deva_alloc: %i\n", err); |
panic ("device_alloc: %i\n", err); |
83 |
hurd_cap_obj_unlock (obj); |
hurd_cap_obj_unlock (obj); |
84 |
|
|
85 |
while (1) |
while (1) |
101 |
} |
} |
102 |
else |
else |
103 |
{ |
{ |
104 |
debug ("Creating deva cap for 0x%x:", task_id); |
debug ("Creating console device cap for 0x%x:", task_id); |
105 |
|
|
106 |
err = hurd_cap_bucket_inject (bucket, obj, task_id, &cap); |
err = hurd_cap_bucket_inject (bucket, obj, task_id, &cap); |
107 |
if (err) |
if (err) |
232 |
|
|
233 |
server_thread = setup_threads (); |
server_thread = setup_threads (); |
234 |
|
|
235 |
err = deva_class_init (); |
err = device_class_init (); |
236 |
if (err) |
if (err) |
237 |
panic ("deva_class_init: %i\n", err); |
panic ("device_class_init: %i\n", err); |
238 |
|
|
239 |
err = hurd_cap_bucket_create (&bucket); |
err = hurd_cap_bucket_create (&bucket); |
240 |
if (err) |
if (err) |