#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");
break;
}
+
default:
printk("\tUnhandled\n");
return -EINVAL;
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;
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();