PD Configuration Design# PD Runtime Setup Conditions for setup method Passing Arguments to the PD Stack Layout for C runtime setup Stack Layout with TLS setup The Root Task’s Role in PD configuration pd_client_runtime_setup() ELF metadata Elevated CPUs TLS setup Unified PD Entry and Exit Point Three main setup pathways: main or entry function visible to the started PD C runtime library CellulOS PD Exit Point libc _start sel4utils processes CellulOS process-like PDs CellulOS thread-like PDs Guest-OS PD Entry Linux Guests Custom startup and shutdown policies