News for hackers. Stuff that matters.

A comment on Building a 64-bit aarch64 kernel and userspace for the Raspberry Pi 4. Parent comment

Re:Building a 64-bit aarch64 kernel and userspace for the Ra... by monocasa on Saturday November 16, 2019 @12:42PM (#21553839)
If it's a 32bit userland, then you don't have access to the other GPRs. The GPR field in AArch32 instructions is a max of 4 bits, so you can only encode r0-r15.
[ Parent | on HN ]
Re:Building a 64-bit aarch64 kernel and userspace for the Ra... by the-dude on Saturday November 16, 2019 @01:38PM (#21554192)
Thank you. Have been trying to get a 64-bit gcc running, but haven't succeeded yet.
[ Parent | on HN ]