Robbie VanVossen
Robbie VanVossen
Add a new capability which certain threads can invoke so seL4 can make SMC calls on ARM platforms in EL2 (virtualized mode) on the thread’s behalf. See https://sel4.atlassian.net/browse/RFC-9 TODO: Still...
We encountered and fixed a couple of issues with the MCS scheduler when enabling it with multicore for virtualized ARMv8 platforms.
Gang scheduling domains and leaving thread scheduling within the domain up to the round-robin scheduler. Also updated scheduler dump info to make it a little prettier.
Currently, if the `map_iterator` function fails to find a frame for a given address, then it breaks from the loop, but it does not return an error and marks the...