Merge pull request #983 from Dasharo/dev_signed_binaries

Mention the diffrence between dev_signed and regular binaries

Author: macpijan

docs/osf-trolling-list/build_process.md

@@ -139,3 +139,11 @@ Open-source firmware development and build environment SHOULD have:
 
 I'm not tracking all activity in the community, so some claims may be plain
 wrong. Please let me know what I miss when I'm wrong.
+
+## [OSFI0012] Difference between regular release binaries and `dev_signed` binaries
+
+We publish two types of binaries. Regular release binaries which are signed
+with release key and `dev_signed` binaries which are signed with the
+developer key used by Dasharo build system. The purpose of the latter
+binaries is for users who build Dasharo from source to be able to verify
+if their binary is the same as the one we build (binary is reproducible).

docs/variants/protectli_vp2410/releases.md

@@ -17,7 +17,7 @@ Test results for this platform can be found
 ## v1.1.1 - 2025-01-23
 
 Test results for this release can be found
-[here](https://github.com/Dasharo/osfv-results/blob/main/boards/Protectli/VP2410/VP2410_v1.1.1_results.csv).
+[here](https://github.com/Dasharo/osfv-results/blob/main/boards/Protectli/VP2410/v1.1.1-results.csv).
 
 ### Added