Lines Matching defs:initial
15 The seL4 kernel creates a minimal boot environment for the initial thread.
16 This environment consists of the initial thread's TCB, CSpace and VSpace,
17 consisting of frames that contain the userland image (code/data of the initial
19 The initial thread's CSpace consists of exactly one CNode
20 which contains capabilities to the initial
39 \texttt{seL4\_CapInitThreadTCB} & initial thread's TCB \\
40 \texttt{seL4\_CapInitThreadCNode} & initial thread's CNode \\
41 \texttt{seL4\_CapInitThreadVSpace} & initial thread's VSpace \\
44 \texttt{seL4\_CapInitThreadASIDPool} & initial thread's ASID pool (see \autoref{ch:vspace}) \\
56 \texttt{seL4\_CapInitThreadIPCBuffer} & initial thread's IPC buffer (see \autoref{sec:messageinfo}) \\
68 platform configuration (devices) etc. In order to tell the initial thread
70 a \emph{BootInfo Frame} which is mapped into the initial thread's address
71 space. The mapped address is chosen by the kernel and given to the initial
77 capabilities, it also informs the initial thread about
82 of slots in the initial thread's CNode, starting with CPTR \texttt{start} and with
98 \texttt{seL4\_IPCBuffer*} & \texttt{ipcBuffer} & pointer to the initial thread's IPC buffer \\
107 \texttt{seL4\_Word} & \texttt{initThreadDomain} & domain of the initial thread (see \autoref{sec:domains}) \\
146 into the initial thread's address space.
155 Additionally, the initial thread can assume that its address space is virtually
157 It's also assumed that the initial thread knows which paging structures are