Clarifying what an LCD and kLCD are

A "lightweight capability domain", or LCD, refers to these isolated, hardware virtual machine containers. A thread running inside this environment uses a the LIBLCD interface, a capability-mediated interface, hence the "capability" part. We hope to make these domains "lightweight", or have a low memory and compute footprint.

But in the documentation, you will see things like "when two LCDs want to communicate with each other". You should interpret this as "when two threads want to communicate with each other". The threads can be isolated or non-isolated. We sort of abuse terminology here.

Finally, we sometimes refer to non-isolated threads that are currently using the LIBLCD interface as kLCDs (since they are using kliblcd).