1 /* Definitions of modules and its relations for generating Doxygen documentation */
3 /** @defgroup kernel kernel
4 * @brief HelenOS kernel
7 /** @defgroup kernel_generic_adt Data types
11 /** @defgroup kernel_generic_console Kernel console
15 /** @defgroup kernel_time Time management
19 /** @defgroup proc Scheduling
23 /** @defgroup kernel_generic_proc generic
29 * @defgroup kernel_abs32le_proc abs32le
36 * @defgroup kernel_amd64_proc amd64
43 * @defgroup kernel_arm32_proc arm32
50 * @defgroup kernel_arm64_proc arm64
57 * @defgroup kernel_ia32_proc ia32
64 * @defgroup kernel_ia64_proc ia64
71 * @defgroup kernel_mips32_proc mips32
78 * @defgroup kernel_ppc32_proc ppc32
85 * @defgroup kernel_riscv64_proc riscv64
92 * @defgroup kernel_sparc64_proc sparc64
97 /** @defgroup kernel_sync Synchronization
101 /** @defgroup mm Memory management
106 * @defgroup kernel_generic_mm generic
111 * @defgroup kernel_genarch_mm genarch
117 * @defgroup kernel_abs32le_mm abs32le
124 * @defgroup kernel_amd64_mm amd64
131 * @defgroup kernel_arm32_mm arm32
138 * @defgroup kernel_arm64_mm arm64
145 * @defgroup kernel_ia32_mm ia32
152 * @defgroup kernel_ia64_mm ia64
159 * @defgroup kernel_mips32_mm mips32
166 * @defgroup kernel_ppc32_mm ppc32
173 * @defgroup kernel_riscv64_mm riscv64
180 * @defgroup kernel_sparc64_mm sparc64
185 /** @defgroup kernel_generic_ipc IPC
189 /** @defgroup kernel_generic_kio KIO
190 * @brief Kernel character input/output facility
191 * @ingroup kernel_generic_console
194 /** @defgroup ddi Device Driver Interface
199 * @defgroup kernel_generic_ddi generic
205 * @defgroup kernel_abs32le_ddi abs32le
212 * @defgroup kernel_amd64_ddi amd64
219 * @defgroup kernel_arm32_ddi arm32
226 * @defgroup kernel_arm64_ddi arm64
233 * @defgroup kernel_ia32_ddi ia32
240 * @defgroup kernel_ia64_ddi ia64
247 * @defgroup kernel_mips32_ddi mips32
254 * @defgroup kernel_ppc32_ddi ppc32
261 * @defgroup kernel_riscv64_ddi riscv64
268 * @defgroup kernel_sparc64_ddi sparc64
273 /** @defgroup debug Debugging
278 * @defgroup kernel_generic_debug generic
284 * @defgroup kernel_abs32le_debug abs32le
291 * @defgroup kernel_amd64_debug ia32/amd64
298 * @defgroup kernel_arm32_debug arm32
305 * @defgroup kernel_arm64_debug arm64
312 * @defgroup kernel_amd64_debug ia32/amd64
319 * @defgroup kernel_ia64_debug ia64
326 * @defgroup kernel_mips32_debug mips32
333 * @defgroup kernel_ppc32_debug ppc32
340 * @defgroup kernel_riscv64_debug riscv64
347 * @defgroup kernel_sparc64_debug sparc64
352 /** @defgroup interrupt Interrupt handling and dispatching
356 * @defgroup kernel_generic_interrupt generic
362 * @defgroup kernel_abs32le_interrupt abs32le
369 * @defgroup kernel_amd64_interrupt amd64
376 * @defgroup kernel_arm32_interrupt arm32
383 * @defgroup kernel_arm64_interrupt arm64
390 * @defgroup kernel_ia32_interrupt ia32
397 * @defgroup kernel_ia64_interrupt ia64
404 * @defgroup kernel_mips32_interrupt mips32
411 * @defgroup kernel_ppc32_interrupt ppc32
418 * @defgroup kernel_riscv64_interrupt riscv64
425 * @defgroup kernel_sparc64_interrupt sparc64
430 /** @defgroup others Miscellanea
435 * @defgroup kernel_generic generic
440 * @defgroup kernel_genarch genarch
446 * @defgroup kernel_abs32le abs32le
453 * @defgroup kernel_amd64 amd64
460 * @defgroup kernel_arm32 arm32
467 * @defgroup kernel_arm64 arm64
474 * @defgroup kernel_ia32 ia32
481 * @defgroup kernel_ia64 ia64
488 * @defgroup kernel_mips32 mips32
495 * @defgroup kernel_ppc32 ppc32
502 * @defgroup kernel_riscv64 riscv64
509 * @defgroup kernel_sparc64 sparc64