--- ray/src/rt/devtable.c 1991/03/06 17:16:54 1.9 +++ ray/src/rt/devtable.c 1991/03/08 12:55:40 1.10 @@ -17,6 +17,7 @@ char dev_default[] = "x11"; extern struct driver *x11_init(); struct device devtable[] = { /* supported devices */ + {"aed", "AED 512 color graphics terminal", comm_init}, {"sun", "SunView color or greyscale screen", comm_init}, {"x10", "X10 color or greyscale display", comm_init}, {"x11", "X11 color or greyscale display", x11_init},