Build a RISC-V computer system on fpga iCE40HX8K-EVB and run UNIX xv6 using only FOSS (free and open source hard- and software).
☆62Mar 5, 2023Updated 3 years ago
Alternatives and similar repositories for xv6-riscv-fpga
Users that are interested in xv6-riscv-fpga are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Port of MIT's xv6 OS to 32 bit RISC V☆44Jun 13, 2022Updated 4 years ago
- A simple risc-v CPU /GPU running on an Arty A7-100T FPGA board☆35Jun 30, 2021Updated 5 years ago
- The xv6 operating system, ported to the Raspberry Pi☆16Oct 16, 2019Updated 7 years ago
- ☆10Aug 30, 2024Updated 2 years ago
- Synthesizable Uxn CPU☆18Jul 14, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ✔️ Port of RISCOF to check NEORV32 for RISC-V ISA compatibility.☆38Feb 22, 2026Updated 7 months ago
- A Full Hardware Real-Time Ray-Tracer☆117Nov 16, 2025Updated 11 months ago
- SEAL GUI for DOS☆18Jun 14, 2023Updated 3 years ago
- Isle FPGA Computer☆96Oct 10, 2026Updated last week
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 5 years ago
- A tiny 3-stage RISC-V core written in Chisel.☆18Apr 14, 2023Updated 3 years ago
- Minimal ZX Spectrum for Ulx3s ECP5 board☆12May 7, 2020Updated 6 years ago
- ☆13Jun 9, 2022Updated 4 years ago
- VGA-compatible text mode functionality☆17May 16, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- RISC-V RV32E core designed for minimal area☆27Nov 17, 2024Updated last year
- "One Man Unix", archive of the Unix clone written (before Linus !) by the late Dr Steve Hosgood, and extended by Terry Barnaby☆59Dec 5, 2016Updated 9 years ago
- The SunOS 3.4 source code. An very rare find!☆22Jan 4, 2023Updated 3 years ago
- ☆26Sep 29, 2018Updated 8 years ago
- ☆37Sep 8, 2026Updated last month
- library OS, based on xv6, for running go programs on (virtual) bare metal☆13Jul 12, 2011Updated 15 years ago
- Linux capable RISC-V SoC designed to be readable and useful.☆165Dec 19, 2025Updated 9 months ago
- TV80 Z80-compatible microprocessor☆71Jun 14, 2026Updated 4 months ago
- Experiments with Cologne Chip's GateMate FPGA architecture☆19Nov 16, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Description of a RISC-V architecture based on MIPS 3000☆15Apr 24, 2023Updated 3 years ago
- This is the CORE-V MCU DevKit project, hosting the open-source artifacts for the CORE-V MCU Development Kit.☆18Jan 31, 2024Updated 2 years ago
- Implementation of a RISC-V CPU in Verilog.☆19Jun 27, 2026Updated 3 months ago
- The code for an FPGA softcore comparison☆11Jun 21, 2020Updated 6 years ago
- Simple Yet Powerful RISC-V Computer☆128Jul 12, 2026Updated 3 months ago
- Connect to your VHDL simulation via JTAG! GDB <-TCP-> OpenOCD <-remote bitbang-> cosim_jtag <-VHPI or FLI-> VHDL simulator.☆15Dec 30, 2025Updated 9 months ago
- RISC-V Playground on Nandland Go☆16Mar 2, 2023Updated 3 years ago
- MR1 formally verified RISC-V CPU☆60Dec 16, 2018Updated 7 years ago
- Source code of Research Unix v8, released by The Unix Heritage Society.☆19Jun 27, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Blink an LED on an FPGA in VHDL using ghdl, yosys and nextpnr☆27Jun 14, 2020Updated 6 years ago
- A simple 68K virtual platform for FUZIX bring up and similar purposes☆21Jan 21, 2025Updated last year
- ☆21Jul 12, 2024Updated 2 years ago
- Windows NT 4.0 Source from a 2000 Acedemic Program☆13May 19, 2020Updated 6 years ago
- Git conversion of UCB CSRG's BSD SCCS files: BSD Unix source code history☆19Dec 3, 2019Updated 6 years ago
- A Linux-compatible operating system for x86☆11May 16, 2026Updated 5 months ago
- The UNIX System V Release 4 source code for the AT&T 3B2☆16Nov 5, 2022Updated 3 years ago