We made use of TextLCD library.

Dependencies:   PS2Keyboard SDFileSystem TSI TextLCD mbed

Fork of TextLCD_HelloWorld by Simon Ford

PS2Keyboard.lib/shortlog@7c22a2f849c6: not found in manifest