Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

64 bit OS Raspberry Pi4 Benchmarks

medium.com

Post reply on HN
Print view View original

1–10 of 104 posts

Re: 64 bit OS Raspberry Pi4 Benchmarks

#4

Post by MuffinFlavored »

echlebek wrote: post #3
0xcoffee wrote: post #2

Apparently in `config.txt` you can set `arm_64bit=1` Then `sudo rpi-update`

This results in a 64-bit kernel, but 32-bit userland, whereas the arm64 Debian is entirely 64-bit.

Do you need the `arm_64bit=1` flag to get 64-bit kernel, 64-bit userland or no? I would have thought 64-bit everything would have been the default.

Re: 64 bit OS Raspberry Pi4 Benchmarks

#6

Post by louwrentius »

So running the Pi in 64-bit is really overall beneficial. I'm running a customised version of Ubuntu for the Pi4.

https://ubuntu.com/download/raspberry-pi

I've also customised the image by adding users, public keys and such. Removing some of the cloud cruft.

These instructions make it very, very easy and you can do this on an x86 machine. Just make sure to use /usr/bin/qemu-aarch64-static (64 bits) instead of qemu-arm-static (32 bits).

https://powersj.io/post/raspbian-edit-image/

Re: 64 bit OS Raspberry Pi4 Benchmarks

#7

Post by monocasa »

louwrentius wrote: post #6

So running the Pi in 64-bit is really overall beneficial. I'm running a customised version of Ubuntu for the Pi4. https://ubuntu.com/download/raspberry-pi I've also customised the image by adding users, public keys and such. Removing some of the cloud cruft. These instructions make it very, very easy and you can do this on an x86 machine. Just make sure to use /usr/bin/qemu-aarch64-static (64 bits) instead of qemu-ar…

Depends on the Pi. The A53 based Pis did a little worse in 64 bit mode on average IIRC (probs because of the cache pressure).

Re: 64 bit OS Raspberry Pi4 Benchmarks

#8

Post by monocasa »

MuffinFlavored wrote: post #4
echlebek wrote: post #3

Earlier quoted context omitted.

This results in a 64-bit kernel, but 32-bit userland, whereas the arm64 Debian is entirely 64-bit.

Do you need the `arm_64bit=1` flag to get 64-bit kernel, 64-bit userland or no? I would have thought 64-bit everything would have been the default.

config.txt only affects the kernel and doesn't affect which userland is selected.

Re: 64 bit OS Raspberry Pi4 Benchmarks

#9

Post by Zaskoda »

MuffinFlavored wrote: post #4
echlebek wrote: post #3

Earlier quoted context omitted.

This results in a 64-bit kernel, but 32-bit userland, whereas the arm64 Debian is entirely 64-bit.

Do you need the `arm_64bit=1` flag to get 64-bit kernel, 64-bit userland or no? I would have thought 64-bit everything would have been the default.

I just gave it a try and now apt is installing a bunch of new kernel .img files. So for me, yes, this seemed to be required before 64bit kernels were installed. I'm feeling surprised. I'm 40% of the way through the install and hoping it reboots okay in the end.

Edit: to be more clear, I also run 'apt update' afterwards

Post reply on HN