Public bug report changed: https://launchpad.net/malone/bugs/31097 Comment: @StephanPotyra You need the 2.6.15-14 or 2.6.15-18 kernel. With the -15, -16, -17 kernels sbcl crashes due to some kernel configuration options but it works fine with the other two.