Add myself to CREDITS.md

After all the issues, formal verification and time I've put into CherIoT-Ibex I would like to include my name in the credits.
lowRISC · Aug 22, 2024 · b070796 · b070796
1 parent 439b27c
commit b070796
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/CREDITS.md b/CREDITS.md
@@ -24,6 +24,7 @@ please feel free to open a pull request to get your name added to this file.
 - Ioannis Karageorgos
 - Markus Wegmann
 - Ivan Ribeiro
+- Louis-Emile Ploix
 - Matthias Baer
 - Michael Gautschi
 - Michael Schaffner