Hi. I want to install RISC directly onto Raspberry Pi as opposed to booting from an SD card but I can find no information on how to do this. Can you help? Thanks, Ron