I have tried on the normal version of Raspberry PI and it worked without typing anything to install the driver.
This is my output:
[ 157.963832] usb 1-1.3.3: new high speed USB device number 9 using dwc_otg
[ 158.066508] usb 1-1.3.3: New USB device found, idVendor=0df6, idProduct=005b
[ 158.066557] usb 1-1.3.3: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[ 158.066579] usb 1-1.3.3: Product: RTL8188S WLAN Adapter
[ 158.066596] usb 1-1.3.3: Manufacturer: Manufacturer Realtek
[ 158.066613] usb 1-1.3.3: SerialNumber: 00e04c000001
I have checked that I have the driver, I also tried to installed from a guide and loaded it ( http://www.jtek.cz/?p=21 ), why on your version I can't make it work?
There is missing something?