Tracking: WiFi Support

[brghena]

Overview

Tock currently has no WiFi support. It would be valuable to have it!

This is currently a fairly incomplete tracking issue, since progress is very minimal so far. When future efforts are underway, they should update this tracking issue with additional details and tasks.

Hardware Support

One board which could be the base for this support is the RP2040 Pico W, which has an Infineon CYW43439. https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html

Hardware Interface Layers

We're not yet sure what a proper HIL for WiFi should look like. The first step would be making something functional, then we could begin thinking about more generic interface layers that would support other platforms as well.

Prior Efforts

#2625 was a prior effort to support WiFi on the RP2040 Pico W board. It was incomplete and no one is actively developing it.

Tasks to Complete

• WiFi proof-of-concept on a Tock-supported platform