How to run SK_32PTU LCD using [4DGL-mbed-32PTU] library

Hi all, I have got uLCD-32PTU (4D systems) and I found [4DGL-mbed-32PTU] ( 4DGL-mbed-32PTU - 4D systems Picaso uLCD 32PTU touch display library | Mbed) library to use.
I am trying to use this library and write a simple program but nothing changes in the LCD. It would be great if anyone could give me hint on this.
I use K64F board and the connection I am using is TX, RX, RES connecting to (PTC17,PTC16, PTB9).
please find my code below:

Blockquote
#include <mbed.h>
#include “Picaso_4DGL-32PTU.h”
#include “Picaso_4DGL-32PTU_CONSTANTS.h”
// three pins are: TX RX RESET
PICASO_4DGL lcd(PTC17,PTC16, PTB9);
int main() {
wait(1);
lcd.cls();
lcd.baudrate(9600); //Configure Serial
lcd.bgColor(Black);
lcd.drawFilledTriangle(260, 50, 300, 90, 240, 120, Yellow);
while(1){
}
}

When the code is uploaded, the LCD keeps flashing and the reset RED LED blinks simultaneously with it.