Raspbian isn&#x27;t the only OS available for the Pi. Also, a 32bit Userland doesn&#x27;t mean you can&#x27;t run 64bit software, does it? Doesn&#x27;t it just suggest that pre-installed applications (and apt repositories) are 32bit?