Is there any reason to have hpc*, gio* and other very IP2x specific devices in IP3x config at all? And the same for having pci devices in IP2x config, I don't think any IP2x machine we support has PCI bus at all? -- Ilpo Ruotsalainen - <lonewolf@iki.fi> - http://www.iki.fi/lonewolf/