Hacker News new | past | comments | ask | show | jobs | submit login

Wouldn’t you run arm64 Debian rather than armhf Debian on the RPi 4? I haven’t used the RPi 4 in a long while so I don’t remember. But it seems weird to me that what you said would be the case.

https://stackoverflow.com/a/48954012

https://www.debian.org/ports/#portlist-released




32bit armhf is still the “supported” way of running Raspberry Pi OS. I believe the 64bit build is on the horizon, but still considered beta.

If the consensus is its stable enough to give it a go though, I’ll give it a go.




Consider applying for YC's Spring batch! Applications are open till Feb 11.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: