Thomas wrote: No clue, so just a blind guess: Is "CoreNet Generic" the right machine? What happens if you set "CONFIG_CORENET_GENERIC=n" in your kernel config? Thomas —— I think it‘s the right machine. CONFIG_CORENET_GENERIC: This option enables support for the FSL CoreNet based boards. For 32bit kernel, the following boards are supported: P2041 RDB, P3041 DS, P4080 DS, kmcoge4, and OCA4080 For 64bit kernel, the following boards are supported: T208x QDS/RDB, T4240 QDS/RDB and B4 QDS The following boards are supported for both 32bit and 64bit kernel: P5020 DS, P5040 DS, T102x QDS/RDB, T104x QDS/RDB Any other ideas? — Christian-- To unsubscribe from this list: send the line "unsubscribe kvm-ppc" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
