Is there any 64bit64-bit kernel for Raspberry Pi 3? I looked around and from sources I check official page and following kernels are listed there:
1) NOOBS - this is installer, no OS by itself, right? 2) Rasbian - just one download, so I assume 32 bit compatible with all version of Pi 3) Ubuntu MATE - aarch32 (ARMv7) 4) Ubuntu Ubuntu Core - seems like 32bit only 5) OSMC - same downloads for "Raspberry Pi 2 / 3", so 32 bit 6) LibreELEC - combined build for 2&3, so 32 bit only 7) PiNet - dunno what this is, but doubt 64 bit 8) RISC OS - doesn't seem like linux 9) Weather Station - yeah, just no - NOOBS - this is installer, no OS by itself, right?
- Rapsbian - just one download, so I assume 32 bit compatible with all version of Pi
- Ubuntu MATE - aarch32 (ARMv7)
- Ubuntu Ubuntu Core - seems like 32bit only
- OSMC - same downloads for "Raspberry Pi 2 / 3", so 32 bit
- LibreELEC - combined build for 2&3, so 32 bit only
- PiNet - dunno what this is, but doubt 64 bit
- RISC OS - doesn't seem like linux
- Weather Station - yeah, just no
So it doesn't seem that there is official 64bit kernel available? Is there any unofficial one? Can I just compile one and expect it to work (I guess not but doesn't hurt to ask..)? Does anyone at least work on it? I would love to have access to native 64bit64-bit numbers.
On other note, how big difference is between armv7 and armv8? Gentoo offers stage 3 tarballs for armv7. Will that work on Pi 3 which is armv8?
