|
K-FSW ec10f94
Modular flight software on Zephyr, for small satellites
|
#include <health.h>
Public Attributes | |
| uint8_t | state |
| uint8_t | count |
| bool | feeding |
| uint32_t | faults |
| uint32_t | feeds |
| char | faulted_by [KFSW_HEALTH_NAME_SIZE] |
Health state and counters.
| uint8_t kfsw_health_status::count |
Components currently registered.
| char kfsw_health_status::faulted_by[KFSW_HEALTH_NAME_SIZE] |
Name of the component that caused the current fault, or empty.
| uint32_t kfsw_health_status::faults |
Deadline faults since boot.
| bool kfsw_health_status::feeding |
True once the watchdog is being fed by this service.
| uint32_t kfsw_health_status::feeds |
Watchdog feeds this service has issued; saturates.
| uint8_t kfsw_health_status::state |
One of kfsw_health_state.