64 bit OS Raspberry Pi4 Benchmarks

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.

[ Parent | on HN ]

Re:64 bit OS Raspberry Pi4 Benchmarks by guug on Saturday February 29, 2020 @09:19PM (#22454673)

Can you cite a source for this claim?

[ Parent | on HN ]

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...

[ Parent | on HN ]

Re:64 bit OS Raspberry Pi4 Benchmarks by slumos on Sunday March 01, 2020 @12:15AM (#22455244)

> 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.

[ Parent | on HN ]

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.

[ Parent | on HN ]