Re:64 bit OS Raspberry Pi4 Benchmarks
by moonbug on Saturday February 29, 2020 @05:51PM
(#22453761)
I think the main issue keeping the pi with a 32b userspace is the lack of availability of 64bit GPU firmware
[ Parent
| on HN ]
Re:64 bit OS Raspberry Pi4 Benchmarks
by joecool1029 on Saturday February 29, 2020 @08:20PM
(#22454463)
> I think the main issue keeping the pi with a 32b userspace is the lack of availability of 64bit GPU firmware
Uh, no. It's there because of the design goals and priorities of the Foundation. They want to be able to distribute a distribution that runs on any raspberry pi generation. Performance is of secondary concern to them. So Raspbian remains at 32-bit.
Can you cite a source for this claim?
Re:64 bit OS Raspberry Pi4 Benchmarks
by joecool1029 on Saturday February 29, 2020 @10:19PM
(#22454902)
Why yes, yes I can: https://www.raspberrypi.org/forums/viewtopic.php?t=252369#p1...
> this will be combined with a 32bit userland, for the reason mentioned above. - the amount of work needed to update all the libraries that talk to the GPU.
Re:64 bit OS Raspberry Pi4 Benchmarks
by joecool1029 on Sunday March 01, 2020 @02:50PM
(#22458836)
My eyes kinda glaze over when I see that because the vc4-fkms-v3d driver works fine enough with mesa on 2D and 3D shit using a full 64-bit system. Maybe it's not as fast as the original proprietary driver, I don't know as I've never used the original proprietary one nor have I seen anyone benchmark it.
Re:64 bit OS Raspberry Pi4 Benchmarks
by Teknoman117 on Saturday February 29, 2020 @06:29PM
(#22453966)
The fully open source driver stack can't some soon enough. (yes I know firmware files still exist, but they don't prevent you from running a 64 bit kernel and userspace)