projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Make userspace actually work.
[pintos-anon]
/
src
/
threads
/
init.c
diff --git
a/src/threads/init.c
b/src/threads/init.c
index 234c41eb249c64def96f49d22d6775c3d3ee52ba..f2476124da7d2a0a7a597d312da5715cb1985943 100644
(file)
--- a/
src/threads/init.c
+++ b/
src/threads/init.c
@@
-32,7
+32,7
@@
void power_off (void);
static void
main_thread (void *aux UNUSED)
{
-
printk ("execute=%d\n", (int) thread_execute ("a.out")
);
+
thread_execute ("a.out"
);
}
int
@@
-71,7
+71,6
@@
main (void)
#ifdef FILESYS
filesys_init (false);
- filesys_self_test ();
#endif
thread_init ();