Willmish / cantrip

Willmish/cantrip Issues

BUG: Overflow in `find_best_slab` if more than half of a slab that is being split is dirty
Updated 3 months ago
BUG: for object type seL4_NotificationObject, size_bits() returning the size of seL4_EndpointObject instead.
Updated 3 months ago1