diff options
| author | Anup Patel <anup.patel@wdc.com> | 2020-05-06 07:42:11 +0300 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2020-05-07 07:14:44 +0300 |
| commit | b4efa70d12cd0ef0c479c8dc455d1932e96c0c8b (patch) | |
| tree | 74c61d4d5f670636a1d069b1f3fc1e30e41443e3 /docs | |
| parent | 433bac7242d3d15be64753dde940f042a5d85e71 (diff) | |
| download | opensbi-b4efa70d12cd0ef0c479c8dc455d1932e96c0c8b.tar.xz | |
docs: platform/generic: Add details about IPI and timer expectations
The generic platform provides IPI and timer functionality based on
DT node provided in the FDT passed by previous booting stage. This
patch updates generic platform documentation about IPI and timer
expectations.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Bin Meng <bin.meng@windriver.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/platform/generic.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/platform/generic.md b/docs/platform/generic.md index dc3b269..60916c7 100644 --- a/docs/platform/generic.md +++ b/docs/platform/generic.md @@ -25,6 +25,10 @@ Users of the generic FDT platform will have to ensure that: DT properties in sync with the FDT based drivers under lib/utils directory 3. The FDT must have "stdout-path" DT property in the "/chosen" DT node when a platform has multiple serial ports or consoles +4. On multi-HART platform, the FDT must have a DT node for IPI device and + lib/utils/ipi directory must have corresponding FDT based IPI driver +5. The FDT must have a DT node for timer device and lib/utils/timer directory + must have corresponding FDT based timer driver To build the platform-specific library and firmware images, provide the *PLATFORM=generic* parameter to the top level `make` command. |