I dont exactly know how to work and I didnt find any library about servo.Energia has servo library but It is not for Tiva™ C Series TM4C123G LaunchPad(I use this one).It has MSP430 and C2000 servo library.Isnt it? (also I have just started using Tiva.So can you help me?)