Rev 3343 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3343 | Rev 3397 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | return ((ofw_entry_t) ofw_cif)(args); |
37 | return ((ofw_entry_t) ofw_cif)(args); |
| 38 | } |
38 | } |
| 39 | 39 | ||
| 40 | void write(const char *str, const int len) |
40 | void write(const char *str, const int len) |
| 41 | { |
41 | { |
| - | 42 | int i; |
|
| - | 43 | ||
| - | 44 | for (i = 0; i < len; i++) { |
|
| - | 45 | if (str[i] == '\n') |
|
| - | 46 | ofw_write("\r", 1); |
|
| 42 | ofw_write(str, len); |
47 | ofw_write(&str[i], 1); |
| - | 48 | } |
|
| 43 | } |
49 | } |
| 44 | 50 | ||
| 45 | int ofw_keyboard(keyboard_t *keyboard) |
51 | int ofw_keyboard(keyboard_t *keyboard) |
| 46 | { |
52 | { |
| 47 | char device_name[BUF_SIZE]; |
53 | char device_name[BUF_SIZE]; |