On 25 Aug 2020, at 14:51, Michael Neises mailto:neisesmichael@gmail.com> wrote:
Is there a way for me to use the remaining 1.5GiB to create other
kernel objects? It's important not only that I have the two calls I
mentioned previously, but also I will later add a third camkes
component, which I believe will exacerbate the problem. I don't know much
about capDL yet, so any pointers would be greatly appreciated.
Any kernel objects (i.e. kernel metadata objects such as page tables, TCBs, Cnodes etc) must be allocated in 0.5GiB the kernel window to be accessible. However, unless you’re building an extremely unusual system, you shouldn’t need 0.5GiB of kernel objects. Frames that can only be mapped into address spaces can be created from “device untyped”, without using up the 0.5GiB kernel window.
Gernot
