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