Apologies for top posting.
I've been using kraxel's AArch64 fedora 24 for a few weeks now and I really like it. Wifi just-works and it's nice and lightweight. One thing I have discovered is that the image seems to be built from the source rpm here:
https://www.kraxel.org/repos/qcom/kernel-main/kernel-main-4.6.4-1.src.rpm
(I needed source so I could build device-mapper and zfs modules).
best regards, Richard
----- Original Message ----- From: Jim Perrin jperrin@centos.org <snip>>
Where is this work happening ? I cant seem to find any mention beyond 'the 32bit firmware cant boot a 64bit kernel, so there needs to be some magic in the kernel to switch, and noone is keen on doing that work' ( this is across many threads on the rpi site itself. Their own github issues seem to also be stalled with no real activity there.
Some of it went into u-boot's upstream already -> http://lists.denx.de/pipermail/u-boot/2016-April/250315.html
And also kraxel has fedora arm64 images now -> https://www.kraxel.org/blog/2016/04/fedora-on-raspberry-pi-updates/