2.6.32 kernel sources for the Samsung Galaxy Mini/Dart (SGH-T499). Based off of the original kernel sources provided by Samsung.