Safe API Framework
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
Loading...
Searching...
No Matches
sapi_reboot_backend.h File Reference

OS-backend adaptation surface for the Controlled Reboot service (ADR-004 section 3, ADR-005, ADR-021). More...

Include dependency graph for sapi_reboot_backend.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  sapi_reboot_backend_t
 Backend vtable: an integrator's implementation of the reboot mechanism for a specific target (ADR-005). More...

Functions

sapi_status_t sapi_reboot_register_backend (const sapi_reboot_backend_t *backend)
 Registers the backend implementation used by sapi_reboot_request() (ADR-005 section 2.1). Call once at startup.

Detailed Description

OS-backend adaptation surface for the Controlled Reboot service (ADR-004 section 3, ADR-005, ADR-021).

For platform integrators implementing a sapi_reboot_backend_t and calling sapi_reboot_register_backend() - NOT part of the consumer API (safeapi/reboot/sapi_reboot.h). A real application should never include this file; only the startup code that wires a concrete backend does.

Definition in file sapi_reboot_backend.h.