HelenOS Kernel (amd64) Modules

Here is a list of all modules:

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

---