-static void
-main_thread (void *aux UNUSED)
-{
-#ifdef FILESYS
- disk_init ();
- filesys_init (format_filesys);
- fsutil_run ();
-#endif
-
-#ifdef USERPROG
- if (initial_program != NULL)
- thread_execute (initial_program);
- else
- PANIC ("no initial program specified");
-#endif
-}
-