|
RADPx-OS Kernel (Radical Posix OS)
Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
|
Public data structure for rad_timer_source_info. More...
#include <radkernel.h>
Public Attributes | |
| char | name [RAD_TIMER_NAME_MAX] |
| Public structure field. | |
| uint32_t | frequency_hz |
| Public structure field. | |
| int | supports_oneshot |
| Public structure field. | |
| int | active |
| Public structure field. | |
| uint64_t | ticks |
| Public structure field. | |
Public data structure for rad_timer_source_info.