Kernel ABI
Inputs are read from registers starting from r0 and outputs are written back to the same registers (also starting with r0).
| Id | Name | Inputs | Outputs |
|---|---|---|---|
| 0x1B | SetTimer | Timer handle, initial_low, interval_low, initial_high, interval_high | Result |
| 0x2D | ConnectToPort | ??, pointer to port name | Result, handle to KClientSession |
| 0x32 | SendSyncRequest | handle to KClientSession | Result |