Index

A

application model autotest model

autotest API definition model autotest task definition

B

building Sentry

C

capability concept definition cross-compilation model

cross-file definition examples

D

dependencies device-tree definition usage

dma definition implementation

E

EVA integration

F

Frama-C integration

G

gmock example usage

gtest build system integration tests design

H

handle definition userspace usage

I

idle task definition ipch_t userspace usage

irq definition implementation irqh_t userspace usage

J

job definition job entrypoint model

job start model job termination model

L

label definition

library model

M

managers definition listing mapping model micro-kernel design portability principle security software hierarchy

micro-service model

N

ninja

R

rust

S

scheduling principle security-model definition shared-memory definition implementation sigh_t userspace usage signal definition implementation SonarQube build system integration source hierarchy stack-smashing-protection definition implementation svc_exchange model sys_alarm definition usage sys_dma_assign_stream definition usage sys_dma_resume_stream definition usage sys_dma_start_stream definition usage sys_dma_suspend_stream definition usage sys_dma_unassign_stream definition usage sys_exit definition usage sys_get_dev_handle definition usage sys_get_dma_handle definition usage sys_get_random definition usage sys_get_shm_handle definition usage sys_get_task_handle definition usage

sys_gpio_get definition usage sys_gpio_reset definition usage sys_gpio_set definition usage sys_gpio_toggle definition usage sys_irq_acknowledge definition usage sys_irq_disable definition usage sys_irq_enable definition usage sys_log definition usage sys_map_dev definition usage sys_map_shm definition usage sys_pm_clock_set definition usage sys_send_ipc definition usage sys_send_signal definition usage sys_shm_get_infos definition usage sys_shm_set_credential definition usage sys_unmap_dev definition usage sys_unmap_shm definition usage sys_wait_for_event definition usage system view description definition usage

T

task definition task handle definition task metadata

taskh_t userspace usage test autotest test model test-suite build system integration

U

UAPI definition model syscall definition syscalls unit test architectural model development constraint model test suites

unit-test build system integration userspace events implementation model

W

WP integration