Indan Zupancic

Flexible Untyped Memory Regions

1

Pre-RFC proof-of-concept for Aarch64. Support for non-power-of-two and unaligned untyped memory regions. It's fine that seL4 delegates memory management to user space, it's not fine that it makes doing that...

Useful to implement multiple API definitions for syscalls with optional arguments. Useful for e.g. PR #1547 and PR #889 or any future API expansion with optional arguments added to existing...

Enable IRQ when binding to a notification

12

And disable when unbinding. This solves issue #1536.

Runtime Domain Schedules

1

Implements RFC-20. TODO: - Fix discrepancies between RFC and implementation. - Rename `DomainSetSet` to `DomainSet`? - Move all domain code to domain.c. - Update CHANGES.md. - Update manual. - Add...

There are some issue with the microseconds to ticks calculations and vice versa, see [this discussion](https://github.com/seL4/seL4/issues/1435#issuecomment-2821012160) for more info. - Remove the reciprocal magic and always use div64() for `ticksToUs()`,...