diff --git a/README.md b/README.md
index 8e55477..7c32140 100644
--- a/README.md
+++ b/README.md
@@ -54,9 +54,19 @@ You can also open a ticket on Gitlab or send a message on Hackaday.
 |---|---|---|
 |![image](https://insignificance.de/tridora/tdr-mandelbrot.jpg)| ![image](https://insignificance.de/tridora/tdr-ara.jpg) | ![image](https://insignificance.de/tridora/tdr-conway.jpg) |
 
-## Supported Boards
-- Arty A7-35T (with two PMODs for microSD cards and VGA output)
-- Nexys A7 (planned)
+## Supported FPGA Boards
+### Arty-A7-35T
+At the moment, the only supported board is the Digilent Arty-A7-35T.
+
+Two Pmods are used for a complete system:
+
+- the Digilent MicroSD Pmod at the JA connector
+- the Digilent VGA Pmod at the JB and JC connectors
+
+As the Arty-A7-35T is no longer in production, it should be easy to
+use the Arty-A7-100T instead, but this has not been tested yet.
+
+Other boards under consideration are the Digilent Nexys-A7 and the Olimex GateMateA1-EVB.
 
 ## Pascal Language
 - Wirth Pascal
diff --git a/doc/tridoracpu.md b/doc/tridoracpu.md
index 65c98c7..b0c5bb6 100644
--- a/doc/tridoracpu.md
+++ b/doc/tridoracpu.md
@@ -105,7 +105,7 @@ Note:
 |LOADC|13-bit signed constant|load constant with sign-extend|
 |LOADI|-|load from memory address contained in X|
 |STOREI|4-bit unsigned constant|store X to memory address contained in Y, post-increment address by operand|
-|LOADREL|-|load PC relative, load from memory word at an offset to the program counter|
+|LOADREL|10-bit unsigned offset |load PC relative, load from memory word at an offset to the program counter|
 |LOADREG|register spec|load from special register|
 |STOREREG|register spec|store X to special register|
 |FPADJ|10-bit signed constant|adjust FP register|