diff options
| author | Chen Wang <[email protected]> | 2025-02-13 23:28:19 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-02-13 23:28:19 +0800 |
| commit | f6f7d91a61c9a75ce8e79f6156a2a97f24baed90 (patch) | |
| tree | f64556653578efa64ef000eeb8b6dba30d616d20 /documentation/memory | |
| parent | d8079e384330a0df489c09910689104c8d9b3fbe (diff) | |
doxygen: add prefix for page name (#9989)
Add prefix "page_" to the name of pages.
Add this as a rule in guide of writing doxygen documents.
Signed-off-by: Chen Wang <[email protected]>
Diffstat (limited to 'documentation/memory')
| -rw-r--r-- | documentation/memory/memory.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/memory/memory.md b/documentation/memory/memory.md index 3a7fa20915..bebe283616 100644 --- a/documentation/memory/memory.md +++ b/documentation/memory/memory.md @@ -1,4 +1,4 @@ -@page memory_management Memory Management +@page page_memory_management Memory Management In a computing system, there are usually two types of memory space: internal memory space and external memory space. Internal memory can be quickly accessed, its contents can be read to and changed and only an address is required. The contents of internal memory are deleted after each power off. It is what would usually be called RAM (Random Access Memory) and is analogous to the RAM in a desktop computer. On the other hand, external memory has relatively fixed contents, retains data even after power off. It is usually called ROM (Read-Only Memory) and is analogous to the hard disk in a desktop computer. |