C | |
| compile [Kernel.spoc_kernel] |
compiles and run a device for a kernel
|
| compile_and_run [Kernel.spoc_kernel] | |
E | |
| exec [Kernel.spoc_kernel] | |
G | |
| get_binaries [Kernel.spoc_kernel] | |
R | |
| reload_sources [Kernel.spoc_kernel] |
reloads the sources form the file associated with the kernel
|
| reset_binaries [Kernel.spoc_kernel] |
compiles a kernel for a device
|
| run [Kernel.spoc_kernel] |