I have a simple question - where can I find an Adeos patch for a 2.6.15 kernel? I'm trying to integrate Xenomai in it, but as I read in the installation notes i first must patch a fresh kernel with a corresponding adeos patch. I googled around but found nothing of use, only the latest patches for 2.6.20-2.6.22, and also the denx linux-2.6 git repository. Is the kernel there already patched wiht adeos?