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