Hi Steve, On Friday 09 November 2007, Steven A. Falco wrote:I am using the Denx 2.6.32 kernel, which does have powerpc/sequoia. Xenomai is a real-time kernel built on Adeos/Ipipe. I'll dig into it further.Is this arch/ppc or arch/powerpc? I remember fixing this a while ago in arch/ppc: commit 67a35ce785b1d11d09bf528c166ea26d489a4bd6 Author: Stefan Roese <sr@denx.de> Date: Thu Aug 2 14:15:22 2007 +0200 ppc: Fix problem with recursive NDFC platform_device resource management This change fixes a problem with a resursive platform_device resource management of the AMCC 4xx NDFC. Without this fix a "cat /proc/iomem" leads to an infinite loop of printing the "ndfc-nand.0" resource. Signed-off-by: Stefan Roese <sr@denx.de> Best regards, Stefan