Rename execute_thread() to start_process().
[pintos-anon] / ta-advice / hw3.txt
2006-08-07 Ben PfaffFirst complete draft.