See http://linux.slashdot.org/story/09/09/10/1156218/Linux-Kernel-2631-Released 2.6.31 is released. LinuxPPS is in. Rodolfo, congratulations! Let's keep up the good work!