Benjamin Herrenschmidt wrote: I provided some kernel debs at: http://people.debian.org/~formorer/ppc. Patch #7 is working fine here, thanks Benjamin. Alex