Hello,
I just wanted to say that I agree with a lot of things that Wanja says
in this mail and that I think he makes some very good points about
common infrastructure requiring policy decisions.
On 2024-11-28 09:26, Wanja.Zaeske--- via Devel wrote:
While for the seL4 design having priority preem
Hello yf,
On 2024-12-15 21:52, Yanfeng Liu wrote:
I was wondering how to get total unused space of an untyped object? My
understanding is to follow the linked list from the untyped and sum up
free
space of all encountered untyped nodes. is this the right approach?
That would work, but is ove
On Mon, 2024-12-16 at 10:30 +, Indan Zupancic wrote:
> Hello yf,
>
> On 2024-12-15 21:52, Yanfeng Liu wrote:
> > I was wondering how to get total unused space of an untyped object? My
> > understanding is to follow the linked list from the untyped and sum up
> > free
> > space of all encounte
