How to add a supported board?

What is the process for adding to the supported board list? I’d like to add Teensy support. Just so it’s clear: I’d be doing the work.

Note that Arduino_ConnectionHandler would be the place that’s likely to need the majority of changes.
See my rudimentary attempt here: https://forum.pjrc.com/index.php?threads/arduino-cloud.75415/post-346067

Update: I got everything building (with BearSSLClient, but there's no ECCX08 chip), but the "only" thing missing is a proper TLS client. That'll take some work to adapt something. This won't be quick, and it's just a side project that I may or may not get to.

If you haven't an ECCX08 chip you should follow the ESP32 path using username and password for mqtt authentication

ArduinoIoTCloud/src/ArduinoIoTCloudTCP.cpp

Lines 151 to 156 in 8b6ff40

    
           #ifdef BOARD_HAS_SECRET_KEY 
        
             if(_password.length()) 
        
             { 
        
               _mqttClient.setUsernamePassword(getDeviceId(), _password); 
        
             } 
        
           #endif

The only thing you need to setup the TLS client are the root certificates and create your trust anchors:

ArduinoIoTCloud/src/tls/AIoTCUPCert.h

Line 251 in 8b6ff40

static const char AIoTUPCert[] =

	#ifdef BOARD_HAS_SECRET_KEY
	if(_password.length())
	{
	_mqttClient.setUsernamePassword(getDeviceId(), _password);
	}
	#endif