Realtimekernel für Debian/lenny

Für jackd brauchte ich einen realtime-fähigen Kernel. Leider habe ich keine Debianversion davon gefunden, und daher selbst einen gebaut. Vielleicht findet das Package ja noch jemand praktisch: kernel 2.6.24-rt1, Debian. Der Kernel enthält lediglich Optimierungen für PentiumPro, die üblichen Debianpatches und deren Config, einziger Unterschied ist der realtime scheduler und die Timer Frequency habe ich auch auf 1000 Hz hochgedreht.