* and the University of New Mexico. You can find out more at
* http://www.v3vee.org
*
- * Copyright (c) 2009, Robert Deloatch <rtdeloatch@gmail.com>
- * Copyright (c) 2009, Steven Jaconette <stevenjaconette2007@u.northwestern.edu>
- * Copyright (c) 2009, The V3VEE Project <http://www.v3vee.org>
+ * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
+ * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
* All rights reserved.
*
- * Author: Robdert Deloatch <rtdeloatch@gmail.com>
- * Steven Jaconette <stevenjaconette2007@u.northwestern.edu>
+ * Author: Jack Lange <jarusl@cs.northwestern.edu>
*
* This is free software. You are permitted to use,
* redistribute, and modify it as specified in the file "V3VEE_LICENSE".
*/
-#ifndef __DEVICES_VIDEO_H__
-#define __DEVICES_VIDEO_H__
+#ifndef __DEVICES_CGA_H__
+#define __DEVICES_CGA_H__
#ifdef __V3VEE__
+#include <devices/console.h>
-//#include <palacios/vm_dev.h>
-#include <palacios/vmm_dev_mgr.h>
+int v3_console_register_cga(struct vm_device * cga_dev, struct v3_console_ops * ops, void * private_data);
-//struct vm_device * v3_create_video();
-
-struct video_cfg {
- char pci[32];
-};
-
-
-#endif // ! __V3VEE__
+#endif
#endif
