mb/system76/rpl: Add Serval WS 13 as a variant

The Serval Workstation 13 (serw13) is a Raptor Lake-HX board.

Tested with a custom TianoCore UefiPayloadPkg.

Working:

- PS/2 Keyboard
- I2C HID touchpad
- Both DIMM slots with 5200 MT/s memory
- Both M.2 SSD slots
- All USB ports
- Webcam
- Ethernet
- WiFi/Bluetooth
- Integrated graphics using Intel GOP driver
- Internal microphone
- Internal speakers
- Combined 3.5mm headphone + mic audio output
- 3.5mm microphone input
- S3 suspend/resume
- Booting Pop!_OS Linux 22.04 with kernel 6.2.7

Not working:

- Discrete/Hybrid graphics
- Thunderbolt

Change-Id: Id709a7d06854ba9de673d5e3f25c0a1bbcc53d21
Signed-off-by: Tim Crawford <tcrawford@system76.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/73440
Reviewed-by: Jeremy Soller <jeremy@system76.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

2 files changed, 70 insertions, 0 deletions

diff --git a/Documentation/mainboard/index.md b/Documentation/mainboard/index.md
index 2f835a476e..5b8c8a0577 100644
--- a/Documentation/mainboard/index.md
+++ b/Documentation/mainboard/index.md
@@ -227,6 +227,7 @@ The boards in this section are not real mainboards, but emulators.
 - [Oryx Pro 9](system76/oryp9.md)
 - [Oryx Pro 10](system76/oryp10.md)
 - [Oryx Pro 11](system76/oryp11.md)
+- [Serval Workstation 13](system76/serw13.md)
 
 ## Texas Instruments
 
diff --git a/Documentation/mainboard/system76/serw13.md b/Documentation/mainboard/system76/serw13.md
new file mode 100644
index 0000000000..6b56a39afa
--- /dev/null
+++ b/Documentation/mainboard/system76/serw13.md
@@ -0,0 +1,69 @@
+# System76 Serval Workstation 13 (serw13)
+
+## Specs
+
+- CPU
+  - Intel Core i9-13900HX
+- Chipset
+  - Intel HM770
+- EC
+  - ITE IT5570E running [System76 EC](https://github.com/system76/ec)
+- Graphics
+  - dGPU options:
+    - NVIDIA GeForce RTX 4060
+    - NVIDIA GeForce RTX 4070
+  - eDP options:
+    - 15.6" 1920x1080@165Hz LCD (BOE NV156FHM-NY8)
+    - 17.6" 3840x2160@144Hz LCD (AUO B173ZAN03.0)
+  - 1x HDMI 2.1
+  - 1x Mini DisplayPort 1.4
+  - 1x DisplayPort 1.4 over USB-C
+- Memory
+  - Up to 64GB (2x32GB) dual-channel DDR5 SO-DIMMs @ 5200 Mhz
+- Networking
+  - Realtek RTL8125BG-CG 2.5G Ethernet
+  - M.2 NVMe/CNVi WiFi/Bluetooth (Intel Wi-Fi 6 AX210/211)
+- Power
+  - 280W (20V, 14A) AC adapter (Chicony A18-280P1A)
+  - 80Wh 6-cell Lithium-ion battery ()
+- Sound
+  - Realtek ALC1220 codec
+  - Realtek ALC1318 smart amp
+  - Internal speakers and microphone
+  - Combined 3.5mm headphone & microphone jack
+  - Combined 3.5mm microphone & S/PDIF jack
+  - HDMI, mDP, USB-C DP audio
+- Storage
+  - 2x M.2 PCIe NVMe Gen 4 SSDs
+  - MicroSD card reader (Realtek RTS5227S)
+- USB
+  - 1x USB Type-C with Thunderbolt 4
+  - 1x USB 3.2 Gen 2 Type-C
+  - 2x USB 3.2 Gen 1 Type-A
+- Dimensions
+  - 15": 2.49cm x 35.8cm x 24.0cm, 2.4kg
+  - 17": 2.49cm x 39.6cm x 26.2cm, 2.8kg
+
+## Flashing coreboot
+
+```eval_rst
++---------------------+---------------------+
+| Type                | Value               |
++=====================+=====================+
+| Socketed flash      | no                  |
++---------------------+---------------------+
+| Vendor              | GigaDevice          |
++---------------------+---------------------+
+| Model               | GD25B256E           |
++---------------------+---------------------+
+| Size                | 32 MiB              |
++---------------------+---------------------+
+| Package             | WSON-8              |
++---------------------+---------------------+
+| Internal flashing   | yes                 |
++---------------------+---------------------+
+| External flashing   | yes                 |
++---------------------+---------------------+
+```
+
+The flash chip (U46) is left of the memory slots.