|
Safe API Framework
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
Files | |
| sapi_memory.c | |
| Memory pool service: validates parameters, then dispatches to the backend registered via sapi_mem_pool_register_backend() (ADR-005). | |
| sapi_safe_ptr.c | |
| See sapi_safe_ptr.h for behavior. | |