X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_module%2Fmain.c;h=b24df34c562db8ba70f1989fac3206055819583b;hb=a2b48dd0c4f8ccfa633139bc2b9aa4ddf59eda5c;hp=62a0fb5d10801a1954b5ebf2998616f2b0f1f155;hpb=3a4199e3954eafb0f2ef886ca3a24a9cee391a43;p=palacios.git

diff --git a/linux_module/main.c b/linux_module/main.c
index 62a0fb5..b24df34 100644
--- a/linux_module/main.c
+++ b/linux_module/main.c
@@ -5,6 +5,7 @@
 
 
 #include <linux/module.h>
+#include <linux/moduleparam.h>
 #include <linux/errno.h>
 #include <linux/percpu.h>
 #include <linux/fs.h>
@@ -28,6 +29,12 @@
 
 MODULE_LICENSE("GPL");
 
+// Module parameter
+int cpu_list[NR_CPUS] = {};
+int cpu_list_len = 0;
+module_param_array(cpu_list, int, &cpu_list_len, 0644);
+MODULE_PARM_DESC(cpu_list, "Comma-delimited list of CPUs that Palacios will run on");
+
 int mod_allocs = 0;
 int mod_frees = 0;
 
@@ -171,9 +178,7 @@ static int __init v3_init(void) {
 
     palacios_init_mm();
 
-
     // Initialize Palacios
-    
     palacios_vmm_init();