Indan Zupancic

> But I still can't see what actually changed, because the diff contains the rebase and doesn't have the changes as separate commits that I could look at (only relevant...

I am wondering if it's not easier to go back to the old code which didn't switch to the idle thread's SC and to do the switch only when the...

The manual is fuzzy about "objects" that only or mostly exist in caps, that could generally be improved. Something similar is going on for scheduling controls and IRQControl (whose caps...

Pull #936 also fails MULTICORE0004 test for `ODROID_C4_release_SMP_MCS_clang_64`, so perhaps something else is going on and it's not related to my changes. Need to spend some time with hardware and...

MULTICORE_0004 sometimes failing for clang is a known open issue in [sel4test](https://github.com/seL4/sel4test/issues/44), so not caused by my changes. I'd like to get to the bottom of that and commit the...

> A proposed squashing of the commits can be found [here](https://github.com/alwin-joshy/seL4/pull/5). Let me know if you would like it to be more/less squashed than this. I find those hard to...

#490 is only a partial fix, 32-bit ARM and x86 have the same problem. In my opinion, `arch_c_entry_hook()` and `arch_c_exit_hook()` should disappear altogether. `ipiStallCoreCallback` should also be changed to always...

Perhaps good to clarify why I'm closing this: Draft stage is fine for when something is not ready to be merged yet because it still needs some work. But the...

> > Is still relevant? > > It's relevant in the sense that this will fail for python 3.6 and earlier. It gives the impression that it's an unofficial/experimental Python...

Cortex A72 was added to the config_option list by commit 84e850999725c1c56735859752e0b920f932c471 in July 2021.