Make thread_root() enable interrupts, otherwise kernel threads will
[pintos-anon] / src / threads / kernel.lds
2004-08-16 Ben PfaffInitial revision