rtai-kernel/rtai-kernel.install

   1 custom=rtai-kernel
   2 KERNEL_VERSION=2.6.35.7-RTAI
   3
   4 post_install () {
   5   echo "Running depmod..."
   6   depmod -v $KERNEL_VERSION > /dev/null 2>&1
   7   #Make the initial ramdisk
   8   echo "Creating the initrd..."
   9   /sbin/mkinitcpio -p $custom
  10   echo "You must now edit menu.lst or grub.cfg and add vmlinuz-rtai and rtai-initrd.img to the file"
  11   echo "For a significant improvement in latency..."
  12   echo "Please add the following on the kernel command line within the GRUB file:"
  13   echo "isolcpus=1"
  14 }