Add another idea

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

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.

projects/lean-distributed-builds.md

@@ -0,0 +1 @@
+# Distributed Build System for Lean4