last night i discovered that raspbian, even though its a 64 bit kernel, userspace is 32 bit. this is no bueno.. 😭

maybe there is a pure 64 bit raspbian and i just need to find it. or ill just go archlinuxarm 🐧🐧🐧