What OS and version should I put on the SD card so that I can put the Raspberry Pi 4 64bit version of rt-thread.bin onto it? I tried Raspbian OS, but it said it was 32 bit, and my vanilla rt-thread.bin build isn't dumping any output to Putty. So which RaPi OS should I use? Can I use Raspberry Pi OS 64-bit?