Tools

AIOS Tool Manager

The AIOS tool manager in the kernel includes some very fundamental aios-related tools, these tools are only used by AIOS kernel, e.g., by other modules.