Issues

• Fix USB for Raspberry Pi Pico

  advanced issue
  UPB-CS-OpenSourceUpstream/tock#20 · Filter by author alexandruradovici opened on Mar 26, 2023

• Implement Ethernet for STM32F4

  advanced issuein progress
  UPB-CS-OpenSourceUpstream/tock#13 · Filter by author alexandruradovici opened on Jan 9, 2023

• Implement minimal (connect / disconnect) WiFi driver for Raspberry Pi Pico W

  advanced issue
  UPB-CS-OpenSourceUpstream/tock#12 · Filter by author alexandruradovici opened on Jan 9, 2023

• Document how to use the micro:bit v2 with probe-rs

  documentationgood first issue
  UPB-CS-OpenSourceUpstream/tock#4 · Filter by author alexandruradovici opened on Oct 31, 2022