Hi,
It seems that you are running the gpio example, is that right? If it is like that then you can find in the gpio_k60.c file the next macros:
#define GPIO_PIN_MASK 0x1Fu
#define GPIO_PIN(x) (((1)<<(x & GPIO_PIN_MASK)))
And in the code you find the line:
GPIOA_PTOR&=~GPIO_PDOR_PDO(GPIO_PIN(10));
And this one turns the BLUE led
You can change the value of the x in the macro GPIO_PIN(x) to change the value pin of each led. According to the schematic (TWR-K60 SCH)

You can wirte:
GPIO_PIN(10) --> BLUE LED
GPIO_PIN(29) --> GREEN LED
GPIO_PIN(28) --> YELLOW LED
GPIO_PIN(11) --> ORANGE LED
I hope this information can help you.
Regards,
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. It would be nice!
-----------------------------------------------------------------------------------------------------------------------