I have a mpc5200b based board and I would like to upgrade to the 2.6 kernel from 2.4. Is there a document explaining where to get the latests git version, and where to find the xenomai patch? Thanks Nick