On April 2, 2008, at 4:50 PM, the CGI server pleuma.cc.gatech.edu experienced a kernel panic. The server was restarted and was again functioning normally at 5:20 PM. Owner of Alert TSO
