Add another idea

Add idea for RISC-V
2026-04-13 16:27:24 +02:00 · 2026-04-11 13:08:58 +02:00
3 changed files with 5 additions and 0 deletions
--- a/README.md
+++ b/README.md
@@ -43,6 +43,7 @@ Name | Status | Blog Entries
 [Auto-Scaling Gitea Runners](./projects/autoscaling-gitea-runners.md) | - | -
 [Custom SQL crate](./projects/custom-sql-crate.md) | - | -
 [Teamspeak Whitegirl Music](./projects/teamspeak-whitegirl-music.md) | - | -
 [Distributed Build System for Lean4](./projects/lean-distributed-builds.md) | - | -
 ## Hardware Projects
 Name | Status | Blog Entries
@@ -51,6 +52,7 @@ Name | Status | Blog Entries
 [25 Gb Networking](./projects/25gb-networking.md) | - | - 
 [100 Gb Networking](./projects/100gb-networking.md) | - | -
 [Receipt Printer](./projects/hardware/receipt-printer.md) | - | -
 [RISC-V SBC/Board](./projects/hardware/risc-v-sbc.md) | - | -
 ## Infrastructure Projects
 Name | Status | Blog Entries
--- a/projects/hardware/risc-v-sbc.md
+++ b/projects/hardware/risc-v-sbc.md
@@ -0,0 +1,2 @@
 # RISC-V SBC/Board
 I want to play around with RISC-V more, maybe use an SBC with a minimal linux setup only running my custom code as the initial program.
--- a/projects/lean-distributed-builds.md
+++ b/projects/lean-distributed-builds.md
@@ -0,0 +1 @@
 # Distributed Build System for Lean4
Author	SHA1	Message	Date
leon	7a72809646	Add another idea	2026-04-13 16:27:24 +02:00
lol3rrr	2f11c08d95	Add idea for RISC-V	2026-04-11 13:08:58 +02:00
		`@@ -0,0 +1,2 @@`
							`# RISC-V SBC/Board`
							`I want to play around with RISC-V more, maybe use an SBC with a minimal linux setup only running my custom code as the initial program.`