1 files changed, 0 insertions, 10 deletions
diff --git a/boot/cmdline.h b/boot/cmdline.h
deleted file mode 100644
index b1162b7..0000000
--- a/boot/cmdline.h
+++ /dev/null
@@ -1,10 +0,0 @@
-#ifndef JOVE_BOOT_CMDLINE_H
-#define JOVE_BOOT_CMDLINE_H 1
-
-#include "lib/hashtable.h"
-
-const char *cmdline_get(const char *key);
-
-void cmdline_kernel_setup(void);
-
-#endif