Lines Matching defs:that
14 consisting of frames that contain the userland image (code/data of the initial
26 slots), but the guard is always chosen so that the CNode resolves exactly
122 with a \texttt{seL4\_BootInfoHeader}, described in \autoref{tab:bi_header_struct}, that
124 length can be used to skip over chunks that you do not understand. The only generally
126 chunk that has no data, any other types are platform or architecture specific. The
127 \texttt{extraBIPages} slot region gives the frames capabilities for the pages that make up
146 ordered such that the first capability references the first frame of the
160 Additionally, the initial thread can assume that its address space is virtually
162 It's also assumed that the initial thread knows which paging structures are
230 I/O-port base of the serial port that the kernel prints to
234 I/O-port base of the serial port that is used for kernel debugging