notes about dell precision t1700

Signed-off-by: Leah Rowe <info@minifree.org>

site/docs/install/dell9020.md

@@ -69,6 +69,33 @@ source](../build/), or use a version newer than Libreboot 20240126**
 Official information about this machine can be found here:
 <https://i.dell.com/sites/doccontent/shared-content/data-sheets/en/Documents/optiplex-9020-micro-technical-spec-sheet.pdf>
 
+ECC memory support
+==================
+
+The 9020 MT/SFF do not have ECC memory support. However:
+
+Dell Precision T1700
+--------------------
+
+The T1700 is a version of the same motherboard, but with ECC support. You
+can flash the 9020 MT image on this board, and it will boot.
+
+Please note however that the native raminit (libre raminit) provided by
+Libreboot does not yet support ECC. You *may* be able to use ECC modules,
+but you won't actually have functioning ECC.
+
+ECC support currently requires `mrc.bin`, which is a blob for raminit.
+Libreboot removed this some time ago, instead favouring only the libre raminit.
+Patches are welcome, otherwise you can use an older revision of Libreboot
+with `mrc.bin` if you need ECC; it's unknown whether both the Haswell and
+Broadwell MRC (the latter works on 9020 MT) both support ECC, so you'll just
+have to try either. Otherwise, you might simply compile your own custom
+coreboot configuration for this setup.
+
+Libreboot's [binary blob reduction policy](../../news/policy.md) is very clear:
+if a blob *can* be avoided, it must be avoided. Therefore, `mrc.bin` is avoided
+since the libre raminit works pretty well these days (ECC notwithstanding).
+
 Buy Libreboot preinstalled
 ======================
 

site/docs/install/index.md

@@ -85,6 +85,7 @@ Desktops (AMD, Intel, x86)
     be safe to flash.
 -   [Dell OptiPlex 3050 Micro](dell3050.md)
 -   [Dell OptiPlex 7010/9010 SFF](dell7010.md) **(for MT, please use the T1650 image)**
+-   Dell Precision T1700 (use the same ROM as 9020 MT, but it won't have ECC support)
 -   [Dell Precision T1650](t1650.md) **(the same ROM works on 7010/9010 MT variant)**
 -   [Gigabyte GA-G41M-ES2L motherboard](ga-g41m-es2l.md)
 -   [HP Elite 8200 SFF/MT](hp8200sff.md) (HP 6200 Pro Business probably works too)
@@ -406,7 +407,7 @@ Refer to the [T1650 hardware page](t1650.md). External flashing
 required, or you can set the Service Mode jumper and flash internally (from
 vendor firmware, to Libreboot).
 
-Dell OptiPlex 7020/9020/XE2 SFF/MT
+Dell OptiPlex 7020/9020/XE2 SFF/MT / Precision T1700
 ------------------------------------
 
 Refer to the [7020/9020 hardware page](dell9020.md). Internal