0

Can anyone confirm and identify an .img download for a raspberry pi that executes Linux (preferably ubuntu server) in 64 bit mode?

user78287
  • 11
  • 1

1 Answers1

3

I know people wanted to do this when the Pi 3 came out, so I did a bit of googling and the first thing I found was BUILD A 64-BIT KERNEL FOR YOUR RASPBERRY PI 3. It was first posted a year ago but looks to have been kept updated, and the author eventually put "an experimental 64-bit OS for the Raspberry Pi 3" up on github. It is "based on Debian Stretch and backed by a 4.11 Linux kernel" -- that's from the 4 month old README, so it seems to be fairly current; other files in the repo have been updated more recently, so it still looks to be actively developed.

I read through some of the original post, and it refers to a "bcmrpi3" make config file for arm64 in the Foundation's kernel source, and low and behold, it is there.

If you don't want to use that OS, you could use another arm64 distro with that kernel, using this methodology (keeping in mind the pi specific userspace libraries and apps copied in from the firmware repo will instead have to be compiled from source, if you want them). Unfortunately, it appears there's no official Ubuntu for arm64 at this time (there's only a 32-bit ARM one).

goldilocks
  • 56,430
  • 17
  • 109
  • 217
  • 1
    +1 pi64-lite.zip from the releases section of that github project worked out of the box for me. Did `sudo apt install g++` then successfully compiled and ran aarch64 helloworld. – jdonald Dec 26 '17 at 03:43