asynts / pico-os
an operating system for the Raspberry Pi Pico
☆88Updated 5 months ago
Alternatives and similar repositories for pico-os:
Users that are interested in pico-os are comparing it to the libraries listed below
- Running Linux on RP2040 with the help of RISC-V emulation☆260Updated 6 months ago
- RISC-V linux on the raspberry pi pico 2☆183Updated 3 months ago
- FuzixOS: Because Small Is Beautiful☆125Updated last year
- Beryllium OS, a unix-like operating system for CircuitPython powered microcontrollers. (Formerly known as ljinux)☆272Updated 2 weeks ago
- DOS-like OS for microcontroller boards running Micropython or Circuitpython☆141Updated last week
- Raspberry Pi pico baremetal examples☆126Updated 2 years ago
- A tiny shell for Pico and Pico2, with file system, Vi and C compiler☆258Updated 2 months ago
- Linux on Arduino UNO / atmega328p port of mini-rv32ima. Let's run Linux on one of the world's worst Linux PC☆169Updated 2 months ago
- Experiment with a low powered computer architecture.☆52Updated 11 months ago
- A Neotron powered by the Raspberry Pi Pico☆213Updated 4 months ago
- This is a playground for the Boot Linux on ESP32-S3☆348Updated 3 weeks ago
- source code☆77Updated 3 years ago
- Standalone WiFi driver for the Pi Pico-W☆96Updated last year
- Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundame…☆46Updated 2 years ago
- A Raspberry Pi Pico Emulator in JavaScript☆424Updated 3 months ago
- Tetris on a Raspberry Pi Pico mounted on a Pimoroni Pico Explorer☆43Updated 3 years ago
- ☆461Updated last month
- A system for running distributed code over multiple PI Picos☆122Updated last year
- A FAT filesystem with SPI driver for SD card on Raspberry Pi Pico☆291Updated last year
- ☆97Updated 3 years ago
- VGA/TV display on Raspberry Pico☆209Updated last year
- ☆53Updated 9 months ago
- Arduino Operating System for ESP32☆37Updated last year
- An x86_64 OS kernel from scratch.☆160Updated 4 months ago
- Simple library for using ssd1306 displays with the Raspberry Pi Pico and the pico-sdk.☆138Updated 6 months ago
- ☆159Updated last year
- ☆638Updated this week
- Linux on a $0.15 RISC-V microcontroller☆235Updated 10 months ago
- Flashrom/serprog compatible firmware for the Raspberry Pi Pico☆207Updated 8 months ago
- ☆84Updated this week