Andy Bui

Agree with @jearc. This might not currently break anything, however, IMO it is assumed that the scheduler is called under the protection of the BKL. We should make this explicit...

I also find it a bit weird that this is forcibly enabled and there's no way to disable this, I feel like in addition to setting the MAX_RESTORES we should...

> The simulation on ARMv8 fails now, could you have a look at this? The failure is due to the following reason: as it stands, the elfloader creates the boot...

> > As mentioned in #190, this is the series of commits that do general touch-ups in the elfloader. > > This PR seems to not contain one of the...

@axel-h A re-review would be appreciated if you can spare some time. Also the failing HW tests are passing when I check the log, as they reach the end but...

Ok, failing on all the ARMv8 32 bit builds, the change in `sys_boot.c` needs to be simplified since _really_ all we changed was ARMv8 64 bit code.

Two failures on the HW run: - TX2 clang (all configs): cannot connect to mq? - TQMA, passes all tests but output is cut short, CI thinks it failed? Besides...

No problem, thanks guys. What I'll do is split this into 3 PRs then: 1. General stability/EFI changes 2. The series of commits that changes ARM booting and splits aarch64...