Currently my main issue is implementing websockets for audio stream. With Julien we managed to understand the websocket protocol (https://tools.ietf.org/html/rfc6455) and I managed to connect to Julien’s server with a simple implementation of the protocol. At first, we wanted to give away the mask, but it is actually mandatory for sending data. For the moment, the mask is simply 0x00000000 which makes sending data more simple !
After the request the web server echoes what we sent, and we can then receive it and print it on the serial port.
The next step is to implement in & out mailboxes for the codec in order for it to stream audio data to the server. As the codec audio in and out buffers are both 16 bytes long, every request will be the same size.