Modules

Here is a list of all modules:

• L4 System Call C-Bindings API
  • Datatypes, Defines and Macros
    • Unique ids
    • Flexpages
      • Fpage types for 32bit
      • Fpage types for 64bit
    • Message structures / dopes
    • Timeouts
    • Scheduling parameter
    • L4 Kernel Info Page
    • Common types and defines
    • Compiler related defines
    • Virtual hardware devices
  • L4 System Calls
    • IPC
    • Other system calls
    • L4 kernel debugger
    • Fiasco extensions
    • Fiasco real time scheduling extensions
    • UTCB functionality
      • UTCB functionality for amd64
      • UTCB functionality for arm
      • UTCB functionality for x86
• Cache functionality
• Memory descriptors.