as finally there’s an official release of a 64-bit Raspberry Pi OS. Would-be 64-bit Pi users have of course had the chance to run 64-bit GNU/Linux operating system builds from other ...