I edited this post because I think I took the wrong approach. I though it was going somewhere but no...

My goal is to have a web interface to control electronics from a Pico. I would like to do this using HTML, Javascript and websockets. This is my first time using websockets and I could use some help, thanks in advance.
I'm working wih the Wiznet W5100S-EVB-Pico:

My goal:
- Run a server on the Pico
- Serve an HTML interface to control electronics
- Establish a bi-directional websocket connection
- Return real time feedback from the Pi and display it in the interface
Ok, so what I'm about to type might make no sense at all but I'm confused.
I guess the first thing to figure out is what firmware to use and what module(s). If I use the official Pi Pico port from https://micropython.org/download/rp2-pico/ it does not contain usocket? Then there is also the Wiznet firmware: https://github.com/Wiznet/RP2040-HAT-Mi ... n/releases
When I try for example https://github.com/BetaRavener/upy-websocket-server it seems to be using socket and websocket modules that cannot be found.
Also I'm confused about setsockopt wich seems not to be available in some firmware versions?
Could anyone try to explain the concepts behind firmware, modules and what is (not) included ? And maybe give me a hint on how to achieve my goal?
Thanks!