/* Copyright holders: Sarah Walker
see COPYING for more details
*/
extern device_t vga_device;
extern device_t ps1vga_device;