From 052fa62be4514c9bc22d60ec89b5993f25b4c7e9 Mon Sep 17 00:00:00 2001 From: Olivier Deprez Date: Thu, 1 Aug 2024 15:07:42 +0200 Subject: [PATCH] fix(docs): design doc typo fails the build Fixed sphinx build error ...hafnium/docs/secure-partition-manager/secure-partition-manager.rst:277:Bullet list ends without a blank line; unexpected unindent. Signed-off-by: Olivier Deprez Change-Id: If8877670b5a8c3a433740866f3b4e0594e1e3e38 --- docs/secure-partition-manager/secure-partition-manager.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/secure-partition-manager/secure-partition-manager.rst b/docs/secure-partition-manager/secure-partition-manager.rst index cc5311c1..b9a9e363 100644 --- a/docs/secure-partition-manager/secure-partition-manager.rst +++ b/docs/secure-partition-manager/secure-partition-manager.rst @@ -273,7 +273,7 @@ page size. The first secure range defined in the node below has base address `0x0 0x6000000` and size `0x2000000`; following there is another range with base address `0x0 0xff000000` and size `0x1000000`. -* The *interrupt-controller* node contains the address ranges of GICD and GICR +The interrupt-controller node contains the address ranges of GICD and GICR so that non-contiguous GICR frames can be probed during boot flow. The GICD address is defined in the first cell, followed by the GICR addresses. "redistributor-regions" is used to define the number of GICR addresses.