From 294306ec5026ea691a4f1380598114688b061c99 Mon Sep 17 00:00:00 2001

[palacios.git] / palacios / include / devices / telnet_cons.h

diff --git a/palacios/include/devices/video.h b/palacios/include/devices/telnet_cons.h
similarity index 50%
rename from palacios/include/devices/video.h
rename to palacios/include/devices/telnet_cons.h
index cdb927d..afca897 100644 (file)
--- a/palacios/include/devices/video.h
+++ b/palacios/include/devices/telnet_cons.h
@@ -7,35 +7,30 @@
  * 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_TELNET_CONS_H__
+#define __DEVICES_TELNET_CONS_H__
 
 #ifdef __V3VEE__
 
 
-//#include <palacios/vm_dev.h>
 
-#include <palacios/vmm_dev_mgr.h>
-
-//struct vm_device * v3_create_video();
-
-struct video_cfg {
-  char pci[32];
+struct telnet_cons_cfg {
+    char frontend[32];
+    uint16_t port;
 };
 
 
-#endif // ! __V3VEE__
+
+#endif
 
 #endif