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_ia32_proc ia32
57 * @defgroup kernel_ia64_proc ia64
64 * @defgroup kernel_mips32_proc mips32
71 * @defgroup kernel_ppc32_proc ppc32
78 * @defgroup kernel_riscv64_proc riscv64
85 * @defgroup kernel_sparc64_proc sparc64
90 /** @defgroup kernel_sync Synchronization
94 /** @defgroup mm Memory management
99 * @defgroup kernel_generic_mm generic
104 * @defgroup kernel_genarch_mm genarch
110 * @defgroup kernel_abs32le_mm abs32le
117 * @defgroup kernel_amd64_mm amd64
124 * @defgroup kernel_arm32_mm arm32
131 * @defgroup kernel_ia32_mm ia32
138 * @defgroup kernel_ia64_mm ia64
145 * @defgroup kernel_mips32_mm mips32
152 * @defgroup kernel_ppc32_mm ppc32
159 * @defgroup kernel_riscv64_mm riscv64
166 * @defgroup kernel_sparc64_mm sparc64
171 /** @defgroup kernel_generic_ipc IPC
175 /** @defgroup kernel_generic_kio KIO
176 * @brief Kernel character input/output facility
177 * @ingroup kernel_generic_console
180 /** @defgroup ddi Device Driver Interface
185 * @defgroup kernel_generic_ddi generic
191 * @defgroup kernel_abs32le_ddi abs32le
198 * @defgroup kernel_amd64_ddi amd64
205 * @defgroup kernel_arm32_ddi arm32
212 * @defgroup kernel_ia32_ddi ia32
219 * @defgroup kernel_ia64_ddi ia64
226 * @defgroup kernel_mips32_ddi mips32
233 * @defgroup kernel_ppc32_ddi ppc32
240 * @defgroup kernel_riscv64_ddi riscv64
247 * @defgroup kernel_sparc64_ddi sparc64
252 /** @defgroup debug Debugging
257 * @defgroup kernel_generic_debug generic
263 * @defgroup kernel_abs32le_debug abs32le
270 * @defgroup kernel_amd64_debug ia32/amd64
277 * @defgroup kernel_arm32_debug arm32
284 * @defgroup kernel_amd64_debug ia32/amd64
291 * @defgroup kernel_ia64_debug ia64
298 * @defgroup kernel_mips32_debug mips32
305 * @defgroup kernel_ppc32_debug ppc32
312 * @defgroup kernel_riscv64_debug riscv64
319 * @defgroup kernel_sparc64_debug sparc64
324 /** @defgroup interrupt Interrupt handling and dispatching
328 * @defgroup kernel_generic_interrupt generic
334 * @defgroup kernel_abs32le_interrupt abs32le
341 * @defgroup kernel_amd64_interrupt amd64
348 * @defgroup kernel_arm32_interrupt arm32
355 * @defgroup kernel_ia32_interrupt ia32
362 * @defgroup kernel_ia64_interrupt ia64
369 * @defgroup kernel_mips32_interrupt mips32
376 * @defgroup kernel_ppc32_interrupt ppc32
383 * @defgroup kernel_riscv64_interrupt riscv64
390 * @defgroup kernel_sparc64_interrupt sparc64
395 /** @defgroup others Miscellanea
400 * @defgroup kernel_generic generic
405 * @defgroup kernel_genarch genarch
411 * @defgroup kernel_abs32le abs32le
418 * @defgroup kernel_amd64 amd64
425 * @defgroup kernel_arm32 arm32
432 * @defgroup kernel_ia32 ia32
439 * @defgroup kernel_ia64 ia64
446 * @defgroup kernel_mips32 mips32
453 * @defgroup kernel_ppc32 ppc32
460 * @defgroup kernel_riscv64 riscv64
467 * @defgroup kernel_sparc64 sparc64