pico-rv32ima
riscv_em
pico-rv32ima | riscv_em | |
---|---|---|
5 | 5 | |
206 | 128 | |
- | - | |
6.2 | 6.1 | |
9 months ago | about 1 month ago | |
C | C | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
pico-rv32ima
- Running Linux on RP2040 with the help of RISC-V emulation
-
Ask HN: Best computer that can't run a modern browser
maybe with a little hacking ..
"Raspberry Pi Pico RISC-V Emulator Runs Linux" ( 2 days ago )
https://www.tomshardware.com/news/raspberry-pi-pico-risc-v-e...
https://github.com/tvlad1234/pico-rv32ima
"This project uses CNLohr's mini-rv32ima RISC-V emulator core to run Linux on a Raspberry Pi Pico. It uses two 8 megabyte SPI PSRAM chips as system memory. To alleviate the bottleneck introduced by the SPI interface of the PSRAM, a 4kb cache is used. The cache implementation comes from xhackerustc's uc32-rvima project."
-
RP2040 Runs Linux Through RISC-V Emulation
The amazing part of this hack is using the SD card as main memory. And booting to a shell in 15 minutes blows the doors off the project that started it all.
It uses 230 1k entries for the cache, https://github.com/tvlad1234/pico-rv32ima/blob/main/pico-rv3...
It looks like it also writes 1k during each block flush. This will definitely put some pressure on the wear leveling algo on the sdcard. :) I am a big fan of this sdcard hack, I wonder what the illogical conclusion is? SDMD RAID?
While it might not make it faster, adding 64Mbit of PSRAM to the other SPI port would make the sdcard live longer.
https://www.sramsun.com/list-354-1.html https://www.issi.com/us/product-cellular-ram.shtml
The Dmitry comments here, https://hackaday.com/2023/03/19/rp2040-runs-linux-through-ri... and has much better boot numbers for a later project.
https://dmitry.gr/?r=05.Projects&proj=07.%20Linux%20on%208bi...
Previous discussions https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
riscv_em
-
Booting Linux inside a RISC-V emulator running on TempleOS.
I've been working on trying to get my old MicroPython TOS port running again, but decided to test out the code which allows me to run C code compiled with gcc on TOS with something more robust so I looked into getting this RISC-V emulator running. Obviously the timing is wrong and you can't do much, but it's still cool to boot the Linux kernel on TOS and have a minimal working busybox environment.
- Suggested Resources to Learn how to Write RISCV Emulator?
What are some alternatives?
picosystem - PicoSystem libraries and examples.
nuclei-sdk - Nuclei RISC-V Software Development Kit
pico-os - an operating system for the Raspberry Pi Pico
ch32v00 - Unofficial snap for ch32v00* chipset development tools
vtm - Text-based desktop environment
RISC-V-Guide - RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
GCC-Cross-Compiler - These are gcc cross compiler tools.
MuditaOS - Mobile operating system based on FreeRTOS™ optimized for E Ink displays - developed for Mudita Pure minimalist phone
Xassette-Asterisk - Evaluation board for AllWinner's RISC-V 64 SoC F133/D1s
rvemu - RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).
riscv-fs - F# RISC-V Instruction Set formal specification
nuttx-star64 - Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)