Here is how to install Garlic OS on a rg35xx. (+ how to port sm64 onto it)
No images yet
So I done this on a 16GB SANDISK ULTRA PLUS microsd
But you could do this on any micro SD card but I reccomend at least 16gb for some games
Ok now we start, so you will need Rufus and any software that will help you with the partition of the sd.
To get the download of the os, go to black seraphs post and scroll all the way until you see RG35XX-MicroSDCardImage.7z.001