Any tips on what is available? Is Raspberry Pi OS still the best option? Its been so long since I had this booted up (Pi4, 8gb).