Gerwin Klein

Domains in seL4 are similar to partitions in static separation kernels. [This paper](https://trustworthy.systems/publications/nictaabstracts/Murray_MBGBSLGK_13.abstract) describes the general setup. The idea is that you can use them to enforce the absence of...

Yes, good idea. But only when the release comes out -- i.e. we could prepare a PR now, but should not merge it yet.

The CHANGES part is done in #1283, but we should still add some thing to . This can be after the release, so I'll leave the issue here open, but...

In fact, the sub page is probably the right location.

Yes, it's basically a libsel4 manual, I think it would make sense to include those functions.

@axel-h any idea what might be going on here?

> I understand you point. But I am a bit unhappy with keeping a zero here. Since ARM has 16 PPI and SGI each, would it make sense to reserve...

Please change the commit message to a short title (50 characters) and the explanation you have now to wrap inside the body at 72 characters.

> I suspect that the reason why sel4bench compiles is because the irq and vcpu benchmarks (which seems like the only benchmarks that use the kernel log buffer) are turned...

Good to be merged from my side.