mirror of
https://github.com/AmbiML/sparrow-kata-full.git
synced 2025-08-29 02:01:17 +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
11 lines
325 B
Plaintext
11 lines
325 B
Plaintext
procedure ProcessControlInterface {
|
|
include <ProcessManagerBindings.h>;
|
|
|
|
ProcessManagerError start(in string bundleId);
|
|
ProcessManagerError stop(in string bundleId);
|
|
ProcessManagerError get_running_bundles(out RawBundleIdData raw_data);
|
|
|
|
void capscan();
|
|
ProcessManagerError capscan_bundle(in string bundleId);
|
|
};
|