Schneider, Kolja wrote: > > Is there any alternate source for AMP device trees? Just in case someone > needs some sort of documentation? The SDK. We can put a hundred AMP device trees on there if we want, and no one will complain. -- Timur Tabi Linux kernel developer at Freescale