+ /* Get RAM size from loader. */
+ ram_pages = *(uint32_t *) ptov (LOADER_RAM_PAGES);
+}
+\f
+/* This should be sufficient because the command line buffer is
+ only 128 bytes and arguments are space-delimited. */
+#define ARGC_MAX 64
+
+int argc;
+char *argv[ARGC_MAX + 1];
+
+static void
+argv_init (void)
+{
+ char *cmd_line = ptov (LOADER_CMD_LINE);
+ char *arg, *pos;
+
+ for (arg = strtok_r (cmd_line, " \t\r\n\v", &pos); arg != NULL;
+ arg = strtok_r (NULL, " \t\r\n\v", &pos))
+ {
+ ASSERT (argc < ARGC_MAX);
+ argv[argc++] = arg;
+ }
+ argv[argc] = NULL;