Hi guys. Just got my new RockPi4 yesterday and been trying to get my setup working since then.
I’m trying to have a software setup and one of its dependencies require a 64-bit GNU-Linux. I understand that the RockPi hardware itself is 64-bit but the currently available Debian and Ubuntu downloads are 32-bit.
So, I’d like to know how I can get a 64-bit Debian or Ubuntu that will work with the Rockpi4.
I already tried downloading the arm64 variant of Debian 9 from [here] but it did not boot. The only thing I got working properly so far, is the Linaro Debian from the downloads page. But again, the problem is that variant is armhf (32-bit) and I need the arm64.
I’d greatly appreciate if someone can just point me to the right direction.