/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 craigjb.com
Rust on Risc-V (VexRiscv) on SpinalHDL with SymbiFlow on the Hackaday Supercon Badge ยท Craig J. Bishop
| | kuruczgy.com
Porting Lean to the ESP32-C3 RISC-V microcontroller
3.4 parsecs away

Travel
| | [AI summary] The article discusses the author's experience of running Lean, a pure functional programming language, on an ESP32 microcontroller for a project involving LED control. Despite Lean's purity, the author utilized its monadic features to handle impure operations like GPIO manipulation and delays. The project involved significant optimizations, including custom bit-banging for the WS2812 LED protocol and reducing code size through various techniques. The author also outlines future directions for the project, including potential improvements in compilation, hardware support, and further optimizations.
| | www.elektormagazine.com
Start Playfully with RISC-V: How to Run Quake 1 on a Microcontroller | Elektor Magazine
3.0 parsecs away

Travel
| | The K210 from Kendryte is a RISC-V-based microcontroller with an AI accelerator. In this article, we detail how you can run Quake 1 on the microcontroller.
| | andreas.welcomes-you.com
Building boot software and Debian with HDMI support from sources for a RISC-V board (Sipeed Lichee RV with D1 processor) - Andreas' website
2.6 parsecs away

Travel
| | The short story The objective of the work described below was for me: There is a long description below for those interested on how to generate the binaries for the RISC-V board and produce the root fs containing Debian Linux. For those who don't want...
| | github.com
GitHub - riktw/LitexTang9KExperiments
3.2 parsecs away

Travel
| Contribute to riktw/LitexTang9KExperiments development by creating an account on GitHub.