moved host OS interfaces to a separate directory palacios/src/interfaces and palacios...

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

diff --git a/linux_module/palacios-dev.c b/linux_module/palacios-dev.c
index a135be9..e1143f8 100644 (file)
--- a/linux_module/palacios-dev.c
+++ b/linux_module/palacios-dev.c
@@ -24,6 +24,13 @@
 #include "palacios-stream.h"
 #include "palacios-file.h"
 #include "palacios-serial.h"
+#include "palacios-socket.h"
+#include "palacios-vnet.h"
+#include "palacios-packet.h"
+
+#ifdef CONFIG_DEBUG_FS
+#include "palacios-debugfs.h"
+#endif
 
 MODULE_LICENSE("GPL");
 
@@ -165,6 +172,7 @@ static long v3_dev_ioctl(struct file * filp,
 
            break;
        }
+
        default: 
            printk("\tUnhandled\n");
            return -EINVAL;
@@ -237,6 +245,23 @@ static int __init v3_init(void) {
     palacios_file_init();
     palacios_init_console();
 
+
+#ifdef CONFIG_DEBUG_FS
+    palacios_init_debugfs();
+#endif
+
+#ifdef CONFIG_PALACIOS_SOCKET
+    palacios_socket_init();
+#endif
+
+#ifdef CONFIG_PALACIOS_PACKET
+    palacios_init_packet(NULL);
+#endif
+
+#ifdef CONFIG_PALACIOS_VNET
+    palacios_init_vnet();
+#endif
+
     return 0;
 
  failure1:
@@ -277,6 +302,11 @@ static void __exit v3_exit(void) {
     class_destroy(v3_class);
 
 
+
+#ifdef CONFIG_DEBUG_FS
+    palacios_deinit_debugfs();
+#endif
+
     palacios_file_deinit();
     palacios_deinit_stream();