Alternatives and similar repositories for PiZeroRTOS:

Users that are interested in PiZeroRTOS are comparing it to the libraries listed below

• dwelch67 / raspberrypi-zero
  Raspberry Pi Zero baremetal examples
  ☆156Updated 4 years ago
• aappleby / picorvd
  GDB-compatible RISC-V Debugger for CH32V003 that runs on a Raspberry Pi Pico
  ☆205Updated last month
• dwelch67 / raspberrypi-pico
  Raspberry Pi pico baremetal examples
  ☆133Updated 2 years ago
• Mr-Bossman / pi-pico2-linux
  RISC-V linux on the raspberry pi pico 2
  ☆200Updated 5 months ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 5 years ago
• metebalci / baremetal-rpi
  bare metal programming with Raspberry Pi
  ☆29Updated 5 years ago
• soundpaint / rp2040pio
  ☆260Updated 3 years ago
• cpq / mdk
  A bare metal SDK for the ESP32 & ESP32C3
  ☆232Updated 7 months ago
• wuxx / nanoCH32V003
  ☆73Updated 2 years ago
• rockytriton / LLD
  ☆158Updated 2 years ago
• AZO234 / RaspberryPi_BareMetal
  RaspberryPi BareMetal env
  ☆40Updated 4 years ago
• cpldcpu / MCPU
  MCPU - A Minimal 8Bit CPU in a 32 Macrocell CPLD
  ☆220Updated last week
• esmil / gd32vf103inator
  Program the GD32VF103 using C, your favourite editor and make
  ☆49Updated last year
• auselen / down-to-the-bone
  BeagleBone Black examples
  ☆35Updated 11 years ago
• jbentham / zerowi
  ☆32Updated 4 years ago
• cpldcpu / PCBFlow
  VHDL to Discrete Logic on PCB Flow
  ☆118Updated 2 months ago
• mpod / raspi-bare-metal
  A "bare metal" raycasting experiment for Raspberry Pi and QEMU.
  ☆33Updated 10 years ago
• ataradov / mcu-starter-projects
  Simple starter projects for bare-metal MCU development
  ☆319Updated last month
• Ouyancheng / FlatHeadBro
  A baremetal experiment of Allwinner D1, without FEL
  ☆31Updated last year
• DoctorWkt / CSCvon8
  A crazy small 8-bit CPU built with only seventeen 7400-series chips.
  ☆104Updated 4 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆142Updated 3 years ago
• xobs / grainuum
  Software USB stack
  ☆183Updated 7 years ago
• Blinkinlabs / JTAG_hat
  ☆123Updated 6 months ago
• ArcaneNibble / wch-uf2
  CH32V UF2 bootloader
  ☆44Updated 6 months ago
• carlk3 / no-OS-FatFS-SD-SDIO-SPI-RPi-Pico
  A FAT filesystem with SDIO and SPI drivers for SD card on Raspberry Pi Pico
  ☆154Updated last month
• kevinmehall / usb
  Minimalist portable USB device stack for SAMD21, LPC1800, LPC4300, Xmega
  ☆102Updated 8 years ago
• jbentham / picowi
  Standalone WiFi driver for the Pi Pico-W
  ☆97Updated last year
• tinyvision-ai-inc / pico-ice
  Raspberry Pi PICO board + Lattice iCE40 FPGA's
  ☆164Updated this week
• jaydcarlson / py32-template
  ☆77Updated 8 months ago
• 1nv1 / ulibSD
  It's a library for use SD cards in SPI mode with uControllers.
  ☆50Updated 3 years ago