There was a Linerva outage tonight, from around 6:50pm until 8pm, due to an OpenAFS deadlock. We have changed to a different kernel version in the hopes of preventing this problem from recurring. We apologize for any inconvenience this outage may have caused. - Nelson Elhage for the Linerva maintainers.