Krzysztof Mazur

In this task add mqtt topics for getting and setting the desk height. MQTT credentials should be set along with the WiFi ones - hardcoded if there is no WebUI...

Use gcc-ar and gcc-ranlib

10

In order to use link time optimizations (lto) `ar` and `ranlib` need to have the lto plugin supplied. This is achieved easiest by using the `gcc-*` equivalents. More info: https://embeddedartistry.com/blog/2020/04/13/prefer-gcc-ar-to-ar-in-your-buildsystems/...

Hey, I've created an example of a web server implementation for Pico W using Pico C SDK. I think it's a nice alternative to the MicroPython example advertised everywhere. It...

Let's add linters to express and enforce the projects preferred coding style

Add mDNS functionality

2

Not to depend on serial port communication to obtain IP address, let's use [mDNS](https://www.nongnu.org/lwip/2_0_x/mdns_8h.html)

When the board enters setup mode, an Access Point needs to be created to allow connecting from another device to an configuration endpoint for now hosting a blank "hello world"...

The configuration endpoint needs to have a form containing WiFi SSID and password, and allow easy addition of new fields

Similar to the [pico_bootsel_via_double_reset](https://github.com/raspberrypi/pico-sdk/blob/master/src/rp2_common/pico_bootsel_via_double_reset/pico_bootsel_via_double_reset.c), the code will enter AP mode when the board is reset twice within a certain amount of time. For now, the setup mode can be mocked...