servo on tm4c123G not working

[IvanViti 0]

So I am trying to use the example code that came with energia on my tm4c123g, but so far Ive gotten nothing:
#include <Servo.h> 
 
Servo myservo;  // create servo object to control a servo 
                // a maximum of eight servo objects can be created 
 
int pos = 0;    // variable to store the servo position 
 
void setup() 
{ 
  myservo.attach(19);  // attaches the servo on pin 9 to the servo object 
} 
 
 
void loop() 
{ 
  for(pos = 0; pos < 180; pos += 1)  // goes from 0 degrees to 180 degrees 
  {                                  // in steps of 1 degree 
    myservo.write(pos);              // tell servo to go to position in variable 'pos' 
    delay(15);                       // waits 15ms for the servo to reach the position 
  } 
  for(pos = 180; pos>=1; pos-=1)     // goes from 180 degrees to 0 degrees 
  {                                
    myservo.write(pos);              // tell servo to go to position in variable 'pos' 
    delay(15);                       // waits 15ms for the servo to reach the position 
  } 
} 

I can get the blink program to work, but for some reason the servo just wont move. Ground and voltage are working, and I've tried multiple servos. I've also tried using both the board identifier (PF_3) and the energia identifier (39)  but no luck. Any ideas?

[LiviuM 43]

A little bit late, but...

Have you seen/tried my changes to the energia's servo library? Have they helped?

Liviu