HTTPS support on Pico!

Hi Gordon

Unfortunately even from SD card I am getting -0x7f00.

 1v84 Copyright 2015 G.Williams
>echo(0);
=undefined
Connecting to WiFi
Connected
192.168.15.68
Connecting with TLS...
Loading the CA root certificate...
Loading certificate file: "certs/rootCA.pem"
Loading the Client certificate...
Loading certificate file: "certs/cert.pem"
Loading the Client Key...
Loading certificate file: "certs/key.pem"
ERROR: Failed! mbedtls_ssl_setup returned -0x7f00
ERROR: Unable to create socket
> 

Are you planning to release a board with more RAM ? It is amazing what you can do with this little board.
Also do you thing the memory requirements to work with CC3000 is less than ESP8266? Should I try CC3000?