Glossary

PAL

Platform Adaptation Layer

PAL is the layer of Graphene that implements a narrow Drawbridge-like ABI interface (with function names starting with the Dk prefix)

Whenever Graphene requires a service from the host platform (memory allocation, thread management and synchronization, file system and network stacks, etc.), it calls the corresponding PAL functionality. The PAL ABI is host-platform agnostic and is backed by the host-platform specific PAL, for example, the Linux-SGX PAL.

SGX
Software Guard Extensions is a set of instructions on Intel processors for creating Trusted Execution Environments (TEE). See Introduction to SGX.
Thread Control Block

Todo

TBD