Welcome to TINOS!
Kernel 1.3, build 150 (still heavy BETA)

Launching default shell (crappy, but works most of the time...)
