Rename execute_thread() to start_process().
[pintos-anon] / ta-advice / check-duplicates
2006-07-09 Ben PfaffFirst stab at grading advice.