127 |
areas in an intelligent way. It currently will detect such |
areas in an intelligent way. It currently will detect such |
128 |
situations, but is not always able to find a solution, even if one |
situations, but is not always able to find a solution, even if one |
129 |
exists. |
exists. |
130 |
|
|
131 |
|
If a memory area stretches out to the very last page addressible in |
132 |
|
32 bit, the high address of the memory descriptor will overflow. |
133 |
|
This is in fact the behaviour of \texttt{kickstart}. \texttt{laden} |
134 |
|
currently truncates such an area by one page. This needs |
135 |
|
clarification in the L4 standard. |
136 |
\end{comment} |
\end{comment} |
137 |
|
|
138 |
Then it searches for the kernel interface page (KIP) in the L4 kernel |
Then it searches for the kernel interface page (KIP) in the L4 kernel |