Nick Spinale

Needless to say, this would greatly simplify the task of adding support for a new isolate platform for someone who isn't already familiar with the entire source. When porting to...

I was debugging a setup with multiple VMs spanning multiple overlapping cores. I was observing segfaults in userland which I discovered were due to cases of corrupted `TPIDR_EL0`. After this...

In the meantime, here is some evidence towards the existence of a bug: If I apply `./magic.diff` on top of this PR (https://github.com/seL4/seL4/pull/490/commits/7c882363cee2f05f85d90d29cca796e2207e449a at the time of writing), the magic...

I found a bug in my userspace that was causing a lot of cross-core TCB and VCPU operations. After fixing that bug and using the kernel _without_ the patch in...

I have been running seL4 as a hypervisor on the RPi 4 without issues. (using [this branch](https://gitlab.com/arm-research/security/icecap/sel4))

From what I can tell, our branch doesn't have any changes that the one in #293 doesn't already have. The [project](https://gitlab.com/arm-research/security/icecap/icecap/) that our branch is for doesn't make use of...

We are using U-Boot. [This](https://gitlab.com/arm-research/security/icecap/icecap/-/blob/3c8cee4a4351a2228f9d8719b50c49815ecd54a6/nix/scope/plat-utils/rpi4/default.nix) build system file contains the relevant details and configuration. I'm happy to answer any questions about our setup. I'm also curious about the build failure...

I've opened https://github.com/seL4/seL4/pull/975, which implements something similar to this PR.

https://github.com/briansmith/ring/pull/1937 would resolve the immediate issue of the build failures by fixing a bug that was preventing such targets from using the fallbacks, but does not address the availability of...

> The once_cell crate has a [FAQ section](https://docs.rs/once_cell/latest/once_cell/#faq) titled "Does this crate support no_std?" where it offers two potential solutions. I went with the critical-section feature but I'm out of...