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
0x01	ControlMemory	r0: MemoryOperation operation r1: u32 addr0 r2: u32 addr1 r3: u32 size r4: MemoryPermission permissions	r0: Result r1: u32 addr_out
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