Module pid

Implementation of PidAllocator

Structs

KernelStack

Kernelstack for app

PID_ALLOCATOR

PidAllocator

Pid Allocator struct

PidHandle

Bind pid lifetime to PidHandle

Functions

kernel_stack_position

Return (bottom, top) of a kernel stack in kernel space.

pid_alloc

Allocate a pid from PID_ALLOCATOR