Alternatives and similar repositories for FreeRTOS-Kernel

Users that are interested in FreeRTOS-Kernel are comparing it to the libraries listed below

• smittytone / RP2040-FreeRTOS
  Raspberry Pi RP2040 FreeRTOS baseline development project
  ☆143Updated 2 months ago
• sandeepmistry / pico-rmii-ethernet
  ☆226Updated 4 years ago
• ArmDeveloperEcosystem / lorawan-library-for-pico
  Enable LoRaWAN communications on your Raspberry Pi Pico or any RP2040 based board. 📡
  ☆161Updated 7 months ago
• georgerobotics / cyw43-driver
  ☆102Updated 8 months ago
• usedbytes / rp2040-serial-bootloader
  A serial bootloader for the Raspberry Pi RP2040 (Pico)
  ☆111Updated 2 years ago
• Wiznet / RP2040-HAT-C
  Ethernet Example for RP2040
  ☆69Updated last year
• arduino / ArduinoCore-zephyr
  Arduino Core based on Zephyr+llext
  ☆158Updated this week
• PicoCPP / RPI-pico-FreeRTOS
  ☆112Updated 4 years ago
• raspberrypi / openocd
  Raspberry Pi's downstream fork of OpenOCD for use with Pico-series devices.
  ☆197Updated 2 months ago
• bouffalolab / bl808_linux
  ☆130Updated last year
• zephyrproject-rtos / hal_espressif
  HAL and SDK for ESP32 and other hardware from Espressif
  ☆55Updated 2 weeks ago
• rhulme / pico-flashloader
  Small (<4k) flashloader for the RP2040 to allow a power-fail safe update in situations where the built-in bootloader is not suitable.
  ☆86Updated 9 months ago
• wolfSSL / wolfssh-examples
  Example applications using the wolfSSH Library.
  ☆30Updated 3 months ago
• Apress / RP2040-Assembly-Language-Programming
  source code
  ☆88Updated 4 years ago
• bitmerse / WiSer
  WiSer: Bringing wireless convenience to serial connectivity
  ☆54Updated last year
• maxnet / pico-webserver
  ☆105Updated 4 years ago
• jamesbowman / i2cdriver
  I2CDriver open source tools
  ☆210Updated 2 months ago
• holysnippet / pico_eth_doc
  RP2040 Minimal hardware (PIO) Ethernet interface + LwIP TCP/IP stack driver
  ☆115Updated 2 years ago
• jcmvbkbc / linux-xtensa
  Linux port for xtensa architecture. None of these branches are stable.
  ☆171Updated last month
• espressif / openocd-on-esp32
  OpenOCD port running on ESP32-S3 microcontrollers
  ☆86Updated 6 months ago
• edgeimpulse / firmware-pi-rp2xxx
  Ingestion & inferencing firmware for the Raspberry Pi Pico (RP2040)
  ☆39Updated this week
• vmilea / pico_i2c_slave
  I2C slave library for the Raspberry Pi Pico
  ☆118Updated 3 years ago
• raspberrypi / tinyusb
  ☆71Updated 3 years ago
• rgrr / yapicoprobe
  Yet Another Picoprobe
  ☆173Updated 3 weeks ago
• 8086net / pico-sexa-uart-bridge
  Raspberry Pi Pico UART-USB-I2C bridge (USB to six UARTs and one I2C)
  ☆65Updated 7 months ago
• Ebiroll / esp32_blackmagic
  esp32 wifi debugger for ARM Cortex microcontrollers https://github.com/blacksphere/blackmagic
  ☆100Updated 6 months ago
• jnaulet / OpenPicoRTOS
  Very small, safe, lightning fast, yet portable preemptive RTOS with SMP support
  ☆112Updated 2 weeks ago
• usedbytes / picowota
  A bootloader for OTA WiFi code upload to a Raspberry Pi Pico W
  ☆134Updated last year
• WIZnet-ioNIC / WIZnet-PICO-C
  Ethernet Example for RP2040, RP2350
  ☆51Updated 2 months ago
• dwelch67 / raspberrypi-pico
  Raspberry Pi pico baremetal examples
  ☆158Updated 3 years ago