Or since the aim is tiny, just use polarssl.

or matrixssl: http://www.matrixssl.org/

MatrixSSL is main SSL lib on LynxOS:

http://www.lynuxworks.com/partners/show_product.php?ID=281

http://www.lynuxworks.com/

Daniel