On 2024-12-17 12:59, Yanfeng Liu wrote:
I further checked the types of `mdbNext` and `mdbPrev` node of Untyped
objects
in the lists and noticed that most of them are of `Untyped` and `Frame`
types! This is ture for several seL4 demos including sel4test.
As per manual, Untyped can be split as s
On Tue, 2024-12-17 at 11:44 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-17 06:26, Yanfeng Liu wrote:
> > Thanks for this information. Here I use it to get unused space for an
> > Untyped
> > object as `((1 << capBlockSize) - (capFreeIndex <<
> > seL4_MinUntypedBits))`
> > following a
Hello yf,
On 2024-12-17 06:26, Yanfeng Liu wrote:
Thanks for this information. Here I use it to get unused space for an
Untyped
object as `((1 << capBlockSize) - (capFreeIndex <<
seL4_MinUntypedBits))`
following above information.
I also sum up the size of all unique Frame objects (indexed by
