On Fri, 08 Jun 2012 22:37:49 +0200 Javier Juan Martínez Cabezón wrote: > Excuse me it was trusted deban not hardened debian...
Hardened debian died off in 2004 it seems and looks like it was a kernel version issue, though I'm skeptical of that. http://www.debian-hardened.org/