README: changes to supported boards listed

There is little benefit to duplicating the information for each board supported in the README. Listing the supported boards is sufficient. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Feb 13, 2024 · 99c0f78 · 99c0f78
1 parent 85fd634
commit 99c0f78
Showing 1 changed file with 3 additions and 13 deletions.
diff --git a/README.md b/README.md
@@ -141,9 +141,10 @@ board/$board/$config/elf/kernel.elf
 board/$board/$config/elf/monitor.elf
 ```
 
-The currently supported boards:
+The currently supported boards are:
 
 * tqma8xqp1gb
+* zcu102
 
 The currently supported configurations are:
 
@@ -152,18 +153,7 @@ The currently supported configurations are:
 
 ## Supported Boards
 
-### tqma8xqp-1gb
-
-The TQMa8Xx Embedded Module from TQ Group configured with the NXP i.MX8QXP SoC and 1GiB of DDR3 ECC memory.
-
-https://www.tq-group.com/en/products/tq-embedded/arm-architecture/tqma8xx/
-
-All testing has been performed with the module on the MBa8Xx carrier board which is included in the starter kit.
-
-The provided board support should be at the module level and does not make any assumptions about the carrier board.
-
-Note: There are different configured of the TQMa8Xx board which include different NXP SoCs and different memory configurations.
-Such modules are not supported.
+For documentation on each supported board see the [manual](https://github.com/seL4/microkit/blob/main/docs/manual.md#board-support-packages-bsps).
 
 ## Supported Configurations