#include "threads/test.h"
#include "threads/thread.h"
#ifdef USERPROG
+#include "userprog/process.h"
#include "userprog/exception.h"
#include "userprog/gdt.h"
#include "userprog/syscall.h"
if (initial_program != NULL)
{
printf ("\nExecuting '%s':\n", initial_program);
- thread_execute (initial_program);
+ process_execute (initial_program);
}
#else
test ();
#endif
printf ("Powering off...\n");
+ serial_flush ();
+
for (p = s; *p != '\0'; p++)
outb (0x8900, *p);
for (;;);