mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-08-30 11:11:57 +00:00
05233af12c
Add support to output the contents of the top-level CNode of a CAmkES service or KataOS application to the serial console. This is dependent on kernel support that is enabled with CONFIG_PRINTING. Applications must be running; otherwise there is no CSpace to dump. Specific changes: - add a "capscan" shell command - add capscan method to each CAmkES interface - add capscan_bundle method to the ProcessControlInterface - add Camkes::capscan() to dump the top-level CNode - add ProcessManager support to dump the CNode for a bundle TODO: fix syscall wrapper error return Change-Id: If6ca222decdb4c40a1d3a63e69792eb3feb30f6a GitOrigin-RevId: 504c0182ccccf287b5d58cd8e33981c11d7539d7
14 lines
464 B
Plaintext
14 lines
464 B
Plaintext
procedure Timer {
|
|
include <TimerServiceBindings.h>;
|
|
|
|
// Returns a bit vector, where a 1 in bit N indicates timer N has finished.
|
|
// Outstanding completed timers are reset to 0 during this call.
|
|
uint32_t completed_timers();
|
|
|
|
TimerServiceError oneshot(uint32_t timer_id, uint32_t duration_in_ms);
|
|
TimerServiceError periodic(uint32_t timer_id, uint32_t duration_in_ms);
|
|
TimerServiceError cancel(uint32_t timer_id);
|
|
|
|
void capscan();
|
|
};
|