Libraries

The following libraries are used for the kernel and tools.