Indan Zupancic

Not sure what I'm doing wrong with the "Test-with: https://github.com/seL4/musllibc/pull/25", I thought that would fix the build errors.

Hmm, this fails sometimes (or always on Aarch64?) with: ``` creating config.mak... done cp: will not overwrite just-created '/github/workspace/build/apps/sel4test-driver/musllibc/build-temp/stage/include-internal/fp_arch.h' with '/github/workspace/projects/musllibc/arch/generic/fp_arch.h' ninja: build stopped: subcommand failed. ```

> The syntax is `Test with` not `Test-with`. Have updated and restarted the build. Thanks. Is this documented anywhere btw? Now that other commit is merged, I removed the line...

> > I don't think this is caused by this, but I think was actually because of [seL4/musllibc#25](https://github.com/seL4/musllibc/pull/25) as I saw it on another PR. > > Ah, I overlooked...

How the manuals uses CSpace and CNode the terms are mostly interchangeable, they only differ in meaning for multi-level CSpaces, which need more than one CNode to define them. And...

> To me it would be less confusing to not talk of "the size of _a_ CSpace", but of "the size of _the_ CSpace _to be allocated_". Or "the size...

`seL4_CNode_Mint` does make a copy, it's just a version of `seL4_CNode_Copy` that also sets the badge or guard & size, depending on cap type. I don't think there is any...

For what it's worth, for a non-Microkit system the way I solved this problem is by having U-boot load a config file to a hard-coded address and mark that region...

We used to use only `rdtime`, but found out that those have erratic performance overhead up to 2 us when emulated. Considering our syscalls take around 1 us, that is...

In the meantime, why can't S-mode have a read-only mapping of MTIME like it used to have, on hardware where that makes sense? The portable solution is `rdtime`, the fast...