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.
- Thread Control Block