+#ifdef USERPROG
+ /* Run a user program. */
+ if (initial_program != NULL)
+ {
+ printk ("\nExecuting '%s':\n", initial_program);
+ thread_execute (initial_program);
+ }
+#endif
+
+ /* Terminate this thread. */
+ thread_exit ();
+}
+\f
+/* Clear BSS and obtain RAM size from loader. */