more extension ports

[palacios.git] / linux_module / palacios-dev.c

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index 29d047d..71e861d 100644 (file)
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -27,10 +27,6 @@
 #include "linux-exts.h"
 
 
-#ifdef V3_CONFIG_KEYED_STREAMS
-#include "palacios-keyed-stream.h"
-#endif
-
 
 MODULE_LICENSE("GPL");
 
@@ -254,13 +250,7 @@ static int __init v3_init(void) {
 
 
 
-#ifdef V3_CONFIG_KEYED_STREAMS
-    palacios_init_keyed_streams();
-#endif
 
-#ifdef V3_CONFIG_GRAPHICS_CONSOLE
-    palacios_init_graphics_console();
-#endif
 
 #ifdef V3_CONFIG_VNET
     palacios_vnet_init();