Fiasco/L4 System Call C-Bindings Reference Manual

Contents

• Introduction
• API reference
  • Datatypes, Defines and Macros
    • Unique ids
    • Flexpages
    • Message structures / dopes
    • Timeouts
    • Scheduling parameter
    • Kernel Info Page
    • Common types and defines
    • Compiler related defines
    • UTCB related functionality
  • System calls
    • IPC
    • Other system calls
    • L4 kernel debugger
    • Fiasco extensions
    • Fiasco real time scheduling extensions

Introduction

This manual describes the C-Bindings for the Fiasco/L4 system calls. See also Jochen Liedtke: Lava Nucleus (LN) Reference Manual