Axel Heider

What's the plan now? Seems RPi4 in CI is currently broken, does this work for you locally?

Maybe. Sometime ago I have been experimenting with RISC-V SMP a bit and noticed some issues. I will have a look at my old patches, and try running them in...

If the kernel is not supposed to use an object at the end of the address space we should add this as a comment in the code. Also,I think it...

My thinking was to not restrict the general address space too much, but handle restrictions with regions then, where each region has an good explanation why it exists. Obviously, for...

The `seL4_Yield()` from line 1016 could move into the loop (see https://github.com/seL4/sel4test/blob/master/apps/sel4test-tests/src/tests/scheduler.c#L1016-L1023) to guarantee we have a full time slice to get the time? This might avoid a race condition,...

The printing happens after the measurement in each loop, so this wont affect it.

I've thought about this also when looking at the RISC-V device trees in the linux sources. Seems it takes a big PR to implement something in that direction. It might...

Make sense to me, seem for ARMv7 and `seL4_VCPUReg_VMPIDR` it's a similar thing then. Could you make a PR?

It is no longer needed, because an application can now simply build a CMake list with the files. It can manipulate the list any time. Details are fully unter application...

I can see you point and agree that it is convenient for applications. I can also see that having the API `AddToFileServer()` can have some advantages, and keeping it causes...