/* Parse command line. */
argv_init ();
/* Initialize memory system, segments, paging. */
/* Parse command line. */
argv_init ();
/* Initialize memory system, segments, paging. */
printf ("\nExecuting '%s':\n", initial_program);
thread_execute (initial_program);
}
printf ("\nExecuting '%s':\n", initial_program);
thread_execute (initial_program);
}