patch attached.
diff -uNrp xenomai-2.5.3/debian/libxenomai1.xenomai.init xenomai-2.5.3.new/debian/libxenomai1.xenomai.init --- xenomai-2.5.3/debian/libxenomai1.xenomai.init 2010-05-15 20:12:25.000000000 +0200 +++ xenomai-2.5.3.new/debian/libxenomai1.xenomai.init 2010-06-14 12:39:31.732771595 +0200 @@ -3,8 +3,8 @@ # Provides: xenomai # Required-Start: mountkernfs # Required-Stop: -# Default-Start: S -# Default-Stop: +# Default-Start: 2 3 4 5 +# Default-Stop: 0 1 6 # Short-Description: Set xeno_nucleus group ### END INIT INFO