Permalink
Switch branches/tags
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
56 lines (38 sloc) 1.54 KB
layout toc
api
true

API Reference

Note: This page is auto-generated from the libsel4 API

System Calls


General System Calls

{% include_absolute _repos/sel4/manual/generated_markdown/GeneralSystemCalls.md %}

Debugging System Calls

{% include_absolute _repos/sel4/manual/generated_markdown/DebuggingSystemCalls.md %}

Benchmarking System Calls

{% include_absolute _repos/sel4/manual/generated_markdown/BenchmarkingSystemCalls.md %}

X86 System Calls

{% include_absolute _repos/sel4/manual/generated_markdown/X86SystemCalls.md %}

Architecture-Independent Object Methods


{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApi.md %}

x86-Specific Object Methods


General x86 Object Methods

{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiX86.md %}

IA32-Specific Object Methods

{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiIa32.md %}

x86_64-Specific Object Methods

{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiX64.md %}

ARM-Specific Object Methods


General ARM Object Methods

{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiArm.md %}

Aarch32-Specific Object Methods

{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiAarch32.md %}

Aarch64-Specific Object Methods

{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiAarch64.md %}

RISCV-Specific Object Methods


{% include_absolute _repos/sel4/manual/generated_markdown/ObjectApiRISCV.md %}