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