Gerwin Klein

Now documented in the [CAVEATS.md](https://github.com/seL4/seL4/blob/master/CAVEATS.md) file.

This also affects non-MCS configs, so we can only merge once we have ported the verification of it to the master branch as well. Maybe some words on the background...

@kent-mcleod what do you think of the additional motivation Nick gave?

> I think the `PR / Style (pull_request)` failure is due to this PR being the first to change certain files since their formatting standards have changed. Correct, I'll push...

So, there is a higher-level discussion we need to have on this one. @seL4/tsc -- strictly speaking this fix/feature needs an RFC, because it changes the API. It is also...

> So, there is a higher-level discussion we need to have on this one. @seL4/tsc -- strictly speaking this fix/feature needs an RFC, because it changes the API. It is...

> > strictly speaking this fix/feature needs an RFC, because it changes the API. It is also a breaking change, because it reserves IRQ handler 0, which user-level systems so...

> A limit of 256 seems quite low. You could use a static array instead of dynamically allocating the page, just align it properly. Or use `alloc_rootserver_obj()` instead. Not sure...

> The current vtd code is using `it_alloc_paging()`, which allocates from the root server memory. You're right it does, I hadn't seen that. It'd be good if someone from the...

> > For instance, if we had accepted one of the schemes that reclaim root server memory, this would immediately have lead to crashes. Using special ways to give memory...