Correct build if gears is disabled

diff --git a/palacios/src/gears/Makefile b/palacios/src/gears/Makefile
index dfbc5fd..001b043 100644 (file)
--- a/palacios/src/gears/Makefile
+++ b/palacios/src/gears/Makefile
@@ -5,3 +5,6 @@ obj-$(V3_CONFIG_EXT_EXECVE_HOOK) += ext_process_environment.o
 obj-$(V3_CONFIG_EXT_CODE_INJECT) += ext_code_inject.o
 obj-$(V3_CONFIG_EXT_ENV_INJECT) += ext_env_inject.o
 
+obj-y += null.o
+
+

diff --git a/palacios/src/gears/null.c b/palacios/src/gears/null.c
new file mode 100644 (file)
index 0000000..1828c44
--- /dev/null
+++ b/palacios/src/gears/null.c
@@ -0,0 +1,6 @@
+/** \file
+ * Do nothing module.
+ *
+ * This file only exists to appease the kbuild gods.
+ */
+