pleuma.cc.gatech.edu kernel panic

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.