Kernel Toolkit (name pending)

[TCCQ]

A layer that does what glibc does for C, get the boring stuff out of the way. This layer sits atop the HAL (see #57), and below most of the main kernel.

This layer might include several things like:

• physical page extent allocation
• virtual memory operations (with heavy reliance on HAL for hardware specific VM details)