pico-rv32ima
pico-os
| pico-rv32ima | pico-os | |
|---|---|---|
| 5 | 1 | |
| 206 | 61 | |
| - | - | |
| 6.2 | 10.0 | |
| 9 months ago | about 2 years ago | |
| C | C++ | |
| GNU General Public License v3.0 or later | MIT License |
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...
pico-os
-
Ask HN: Best computer that can't run a modern browser
any "Raspberry Pi" with 256 MB - is a perfect test machine.
https://en.wikipedia.org/wiki/Raspberry_Pi
And there is an extra minimal alternative:
Raspberry Pi Pico ( 264 KB; available from $4 + https://github.com/asynts/pico-os )
"Raspberry Pi Pico comes with Dual-Core ARM Cortex M0+ processor, which can run up to 133MHz. It has 264KB of SRAM and 2MB of on-board flash storage, but we can extend up to 16MB of off-chip Flash memory via a dedicated Quad-SPI bus."
What are some alternatives?
picosystem - PicoSystem libraries and examples.
PicoW_HomeAssistant_Starter - Everything you need to get started with your own Intranet of Things, using the high-quality, low-cost Pico W as the backbone.
vtm - Text-based desktop environment
Control-Surface - Arduino library for creating MIDI controllers and other MIDI devices.
Macaron - A sweet hobby made operating system written in C++ for x86 CPUs with GUI
pico-rectangle - Joybus protocol (Gamecube controller) implementation for the Raspberry Pi Pico (ARM Cortex M0+). Translates GPIO to modelized Gamecube controller states based on the B0XX/F1 layout.