43 |
/* FIXME: Hard coded message label. */ |
/* FIXME: Hard coded message label. */ |
44 |
#define WORTEL_MSG_PUTCHAR 1 |
#define WORTEL_MSG_PUTCHAR 1 |
45 |
l4_set_msg_label (&msg, WORTEL_MSG_PUTCHAR); |
l4_set_msg_label (&msg, WORTEL_MSG_PUTCHAR); |
46 |
|
/* FIXME: This should be our cap ID. */ |
47 |
|
l4_msg_append_word (&msg, 0); |
48 |
l4_msg_append_word (&msg, (l4_word_t) chr); |
l4_msg_append_word (&msg, (l4_word_t) chr); |
49 |
l4_msg_load (&msg); |
l4_msg_load (&msg); |
50 |
/* FIXME: Hard coded thread ID. */ |
/* FIXME: Hard coded thread ID. */ |