The Terminal Room Printer will appear in the print dialog window. No driver is necessary for printing.
Mac OS X (AirPrint)
The Terminal Room Printer will appear in the Nearby Printers list in the print dialog window. No driver installation is necessary.
Windows 10: Navigate to Settings – Devices – Printers & Scanners. Click on (+) Add a printer or scanner. Select Lexmark CS510de (Terminal-Room-Printer) from the list and click Add device.
Windows 7 and 8: Navigate to Control Panel\Hardware and Sound\Devices and Printers\ Add a Printer. Choose the Lexmark CS510de from the list.
Go to Settings – Printers and click Add (+). Type ‘printer.ripemtg.ripe.net’ in the input box and then select the Lexmark-CS510-Series.
Go to Printers – New Printer – Select Device – Network Printer. Select Lexmark CS510de and leave the default connection type (AppSocket/JetDirect network printer via DNS-SD).
When asked for a driver choose Lexmark —> Postscript driver.