[Bug 1581720] Re: Raspberry Pi 3 64-bit kernel

2016-06-17 Thread Tianon Gravi
I think https://github.com/raspberrypi/firmware/issues/550 has some relevant information, especially https://github.com/raspberrypi/firmware/issues/550#issuecomment-190780010 (RPi Foundation is not working on arm64) and https://github.com/raspberrypi/firmware/issues/550#issuecomment-197452521

[Bug 1581720] Re: Raspberry Pi 3 64-bit kernel

2016-05-23 Thread Ryan Finnie
Yeah sorry, meant to loop back on this. His kernel is minimally functional and I've been using it on a test arm64 machine (though looks like vchiq is intentionally disabled presumably because it's not functional, and the brcmfmac module doesn't recognize the wifi chipset even with firmware

[Bug 1581720] Re: Raspberry Pi 3 64-bit kernel

2016-05-23 Thread Paolo Pisati
Ok, never mind, the author of that kernel is unreachable: Delivery to the following recipient failed permanently: mzo...@crowfest.net Technical details of permanent failure: DNS Error: 23722983 DNS type 'mx' lookup of crowfest.net responded with code NOERROR 23722983 DNS type 'mx' lookup

[Bug 1581720] Re: Raspberry Pi 3 64-bit kernel

2016-05-23 Thread Paolo Pisati
Interesting - he puts the arm64 bits on top of an old rpi-4.5.y branch (~4.5-rc7, no tag unfortunately) - i tried to contact him to see where he got the arm64 code or if he wrote if by himself, let's see if he follows up. -- You received this bug notification because you are a member of Ubuntu

[Bug 1581720] Re: Raspberry Pi 3 64-bit kernel

2016-05-13 Thread Ryan Finnie
Looks like the kernel in that image was sourced from https://github.com/Electron752/boot64-rpi3, built from https://github.com/Electron752/linux . -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1581720