HelenOS Kernel (ia32) Modules

Here is a list of all modules:

• Data types
• Time management
• Scheduling
  • generic
  • ia32
• Synchronization
• Memory management
  • generic
  • genarch
  • ia32
• IPC
• Device Driver Interface
  • generic
  • ia32
• Interrupt handling and dispatching
  • generic
  • ia32
• Miscellanea
  • Kernel initialization
  • Kernel console
    • KLog
  • Debugging
    • generic
    • ia32/amd64
  • generic
  • genarch
  • ia32

---