Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


updated linux module to new build framework
[palacios.git] / linux_module / palacios-dev.c
index a135be9..bb9598f 100644 (file)
 #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 V3_CONFIG_EXT_INSPECTOR
+#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;
@@ -233,9 +241,33 @@ static int __init v3_init(void) {
     
     palacios_vmm_init();
 
+#ifdef V3_CONFIG_STREAM
     palacios_init_stream();
+#endif
+
+#ifdef V3_CONFIG_FILE
     palacios_file_init();
+#endif
+
+#ifdef V3_CONFIG_CONSOLE
     palacios_init_console();
+#endif
+
+#ifdef V3_CONFIG_INSPECTOR
+    palacios_init_debugfs();
+#endif
+
+#ifdef V3_CONFIG_SOCKET
+    palacios_socket_init();
+#endif
+
+#ifdef V3_CONFIG_PACKET
+    palacios_init_packet(NULL);
+#endif
+
+#ifdef V3_CONFIG_VNET
+    palacios_init_vnet();
+#endif
 
     return 0;
 
@@ -277,8 +309,18 @@ static void __exit v3_exit(void) {
     class_destroy(v3_class);
 
 
+
+#ifdef V3_CONFIG_EXT_INSPECTOR
+    palacios_deinit_debugfs();
+#endif
+
+#ifdef V3_CONFIG_FILE
     palacios_file_deinit();
+#endif
+
+#ifdef V3_CONFIG_STREAM
     palacios_deinit_stream();
+#endif
 
     palacios_deinit_mm();