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 |
|
}; |