Hello World using PSL1GHT SDK

I used the PSL1ght SDK and I used the lv2 syscall sys_tty_write to write to the console, its actually working but it throws a few errors, probably the sdk does some more stuff in the background