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