| 12 |
|
|
| 13 |
|
#include "driver.h" |
| 14 |
|
|
| 15 |
< |
char dev_default[] = "x10"; |
| 15 |
> |
char dev_default[] = "x11"; |
| 16 |
|
|
| 17 |
< |
extern struct driver *aed_init(), *x_init(), *nws_init(); |
| 17 |
> |
extern struct driver *x11_init(); |
| 18 |
|
|
| 19 |
|
struct device devtable[] = { /* supported devices */ |
| 20 |
– |
{"aed", "AED 512 color graphics terminal", aed_init}, |
| 21 |
– |
{"news", "NeWS color or greyscale display", nws_init}, |
| 20 |
|
{"sun", "SunView color or greyscale screen", comm_init}, |
| 21 |
< |
{"x10", "X10 color or greyscale display", x_init}, |
| 22 |
< |
{"x11", "X11 color or greyscale display", comm_init}, |
| 21 |
> |
{"x10", "X10 color or greyscale display", comm_init}, |
| 22 |
> |
{"x11", "X11 color or greyscale display", x11_init}, |
| 23 |
|
{0} /* terminator */ |
| 24 |
|
}; |
