#include <stddef.h>
#include <stdint.h>
+#include <sys/types.h>
#include "config.h"
#include "cache.h"
static unsigned long kernel_la;
#ifdef CONFIG_KERNEL_CMDLINE
-#define kernel_argc 1
+#define kernel_argc 2
static const char kernel_cmdline[] = CONFIG_KERNEL_CMDLINE;
static const char *kernel_argv[] = {
+ NULL,
kernel_cmdline,
NULL,
};