Galaxy Mini is a affordable smartphone made by Samsung. It was announced in January 2011. It officially runs on Android 2.3 Gingerbread, but developers from XDA Developers mede it possible to handle even the latest version of Android 4.1 Jelly Bean. Samsung Galaxy Mini (also known as SGM) is one of best sellers. Whit some of the cusom roms I will show you will be sone able to double the performance of your phone. My brother has a Motorola Motoluxe and it's very lagy compared to my SGM.
Here's a link to the offical specs of the phone: http://www.gsmarena.com/samsung_galaxy_mini_s5570-3725.php