I understand from [1] that GPU support works only on 32 bit kernels. However [2] suggests aarch64 for RPI 4. Does it mean, GPU support won't work on RPI 4 as yet? Wouldn't earmv7hf work on RPI4 and if it would, I guess it won't be able to utilize the 8G RAM. Please confirm. [1] https://wiki.netbsd.org/ports/evbarm/raspberry_pi/#index5h1 [2] https://wiki.netbsd.org/ports/evbarm/raspberry_pi/#index2h1 -- Mayuresh