Alternatives and similar repositories for pico-linux

Users that are interested in pico-linux are comparing it to the libraries listed below

• shuichitakano / pico-infones
  infones for pico
  ☆80Updated last year
• xrip / pico-286
  RP2040/RP2350 286 PC emulator for MURMULATOR dev board
  ☆248Updated 3 weeks ago
• Panda381 / PicoLibSDK
  Alternative extended C/C++ SDK library for Raspberry Pico/Pico2 and RP2040/RP2350.
  ☆78Updated 6 months ago
• ahmadexp / Open-Source-PC110
  Figuring out the missing technical documentation of the beloved PC110
  ☆77Updated 3 weeks ago
• tvlad1234 / pico-rv32ima
  Running Linux on RP2040 with the help of RISC-V emulation
  ☆291Updated 2 months ago
• Mr-Bossman / pi-pico2-linux
  RISC-V linux on the raspberry pi pico 2
  ☆289Updated 3 weeks ago
• notro / gud-pico
  Raspberry Pi Pico GUD USB Display
  ☆31Updated last year
• adafruit / PicoDVI
  Bitbanged DVI on the RP2040 Microcontroller
  ☆63Updated 3 months ago
• pimoroni / picovision
  ☆62Updated 7 months ago
• Daft-Freak / probably-average-computer-emulator
  Somewhat hacky PC (XT) emulator that can run on a PicoVision
  ☆25Updated last week
• kprasadvnsi / ch55x_asm_doc
  CH55X assembly instruction description
  ☆24Updated 6 years ago
• danieldrotos / ucsim
  uCsim microcontroller simulator
  ☆18Updated last week
• OLIMEX / RVPC
  The EURO 1.00 Risc-V personal computer with VGA and Keyboard and Woz like monitor. The purpose of this project is to make educational pla…
  ☆71Updated 2 months ago
• xrip / pico-xt
  Raspberry Pi Pico RP2040 PC XT (8086/8088) Emulator for MURMULATOR devboard
  ☆59Updated 5 months ago
• perexg / picoprobe-sump
  ☆40Updated 4 years ago
• sidd-kishan / PicoPiFi
  A driverless usb rndis wifi dongle based on $6 and easily available pi pico w. To support wifi on experimental platforms like windows on …
  ☆57Updated 6 months ago
• hi631 / tang-nano-9K
  ☆101Updated 2 years ago
• dwelch67 / raspberrypi-pico
  Raspberry Pi pico baremetal examples
  ☆157Updated 3 years ago
• obstruse / pico-composite8
  Raspberry Pi Pico NTSC 8-bit Composite Video output using Resistor R2R DAC, interlaced at 640x480, with slideshow on second core.
  ☆65Updated 3 years ago
• verilog-indeed / nano4k_hdmi_tx
  Open-source HDMI/DVI transmitter for the Gowin GW1NSR-powered Tang Nano 4K
  ☆23Updated 3 years ago
• kprasadvnsi / ch55x_bare_metal
  Simple peripheral library for CH55x microcontrolles
  ☆16Updated 4 years ago
• michalin / CFCard-Arduino
  Arduino library that supports CF Cards and PATA drives
  ☆38Updated 4 years ago
• oyama / pico-vfs
  Thin virtual file system for Raspberry Pi Pico
  ☆39Updated 6 months ago
• davidgiven / FUZIX
  FuzixOS: Because Small Is Beautiful
  ☆131Updated 2 years ago
• Wren6991 / Pico-DVI-Sock
  A DVI Sock board for Pico
  ☆219Updated 4 years ago
• fhoedemakers / PicoSystem_InfoNes
  NES emulator for the Pimoroni PicoSystem RP2040 gaming handheld.
  ☆73Updated 3 months ago
• mlorenzati / PicoDVI
  Bitbanged DVI and HDMI on the RP2040 Microcontroller
  ☆29Updated last month
• Daft-Freak / DERP
  RP2040/PicoSystem emulator
  ☆23Updated 6 months ago
• jjj11x / stc_rpncalc
  Replacement RPN calculator firmware for the diyleyuan calculator.
  ☆38Updated 6 months ago
• jcmvbkbc / linux-xtensa
  Linux port for xtensa architecture. None of these branches are stable.
  ☆171Updated 3 weeks ago