| # | Line 17 | Line 17 | char dev_default[] = "x11"; | |
|---|---|---|
| 17 | extern struct driver *x11_init(); | |
| 18 | ||
| 19 | struct device devtable[] = { /* supported devices */ | |
| 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}, | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines (old) |
| > | Changed lines (new) |