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 at 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/ -- Jim Perrin The CentOS Project | http://www.centos.org twitter: @BitIntegrity | GPG Key: FA09AD77 _______________________________________________ Arm-dev mailing list Arm-dev at centos.org https://lists.centos.org/mailman/listinfo/arm-dev