Hello, With help from Matwey we finally have armv7hl kernels in Kernel:HEAD again. Here are some mixed test results of 4.7.0-rc6-4.g3146576: Jetson TK1: * lpae works but only with Tumbleweed kernel-firmware, oops otherwise * 4.6.2-1-lpae boots okay with dtb-tegra124 4.7.rc6 Cubietruck: * lpae broken, no output * 4.6.2-1-lpae boots with dtb-sun7i 4.7.rc6 * Only boot.scr works, no output with GRUB (u-boot-cubietruck 2016.05) Raspberry Pi 2: * default and lpae broken, no output * 4.6.2-1-default boots with dtb-bcm2836 4.7.rc6 (-lpae known broken) Raspberry Pi: * default boots fine, except for some deadbeef vc4 error * 4.6.2-1-default boots with dtb-bcm2835 4.7.rc6 Regards, Andreas -- SUSE Linux GmbH, Maxfeldstr. 5, 90409 Nürnberg, Germany GF: Felix Imendörffer, Jane Smithard, Graham Norton HRB 21284 (AG Nürnberg) -- To unsubscribe, e-mail: opensuse-arm+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-arm+owner@opensuse.org