Hi Pascal, On Sun, Jan 3, 2010 at 1:39 PM, pascal@xxxxxxxx <pascal@xxxxxxxx> wrote: > Hi, > > I believe these changes are needed on Alchemy SoCs in order to > use iomem above 4G with the usual platform_device machinery: > > - Set CONFIG_ARCH_PHYS_ADDR_T_64BIT to make resource_size_t 64-bit. > - Increase IOMEM_RESOURCE_END so that platforms can register resources. Have you tried to register a platform device above the 4G line? I get an oops inside the platform device match code when I do. I'll try to figure out why. Manuel