Skip to content

ApiDoc.md

Latest commit

 

History

History
55 lines (38 loc) · 1.54 KB

ApiDoc.md

File metadata and controls

55 lines (38 loc) · 1.54 KB
Raw
layout api
toc 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 %}