Re:Building a 64-bit aarch64 kernel and userspace for the Ra...
by Abishek_Muthian on Saturday November 16, 2019 @12:25PM
(#21553731)
Btw, for those who are using RPi3 and want to try aarch64 kernel -archlinux|ARM has one and I've used it in my experiments to getting smoother desktop experience on Raspberry Pi[1].
[1]:https://abishekmuthian.com/getting-smoother-desktop-experien...