Midnight Veil

I added a subclass for Java; removing the `protected` access specifier causes the Mock*** classes to fail to compile, which functions as a test. However, in C++, I don't think...

It was my understanding (not that I'm particularly experienced with Java) that fields in java could be private to the package and thus you couldn't effectively inherit if it was...

works for me without flakes using the same method as [agenix does](https://github.com/ryantm/agenix#install-via-fetchtarball): ```nix { imports = let commit = "8868689d3fd8a2ec45f1f6ab9dcf74728c6d853f"; in [ "${builtins.fetchTarball { name = "arion-v0.2.10"; url = "https://github.com/hercules-ci/arion/archive/${commit}.tar.gz";...

Similar happens when doing a ppcall into a server that does not have `pp="true"`, you get a null-cap invocation error. As a bonus, microkit still returns the `msginfo` struct containing...

I *believe* this issue has been resolved by #1183. At least, from the tests we ran (https://github.com/seL4/seL4/pull/1183#issuecomment-2677276986), no longer occur[^1]. This is probably worth a CHANGES entry? [^1]: Regularly, and...

> Perhaps GICv2 needs a performance destroying polling read to avoid the problem too (https://github.com/seL4/seL4/pull/1399). The equivalent RWP bit doesn't exist in GICv2; and there's no similar description surrounding `ICEnableR`....

@geom3trik I saw you did some work in the text-props branch and I played around with it some. Adding the following makes it behave a bit more expected (to me,...

There seems to be something off with regards to the bounding boxes of text with a negative letter spacing: ```diff diff --git a/examples/text_props.rs b/examples/text_props.rs index 1200bea0..1fb3aca9 100644 --- a/examples/text_props.rs +++...

Your latest commit has made a bunch of my text not render at all, even when letter-spacing etc is not set. See e.g. the `flight_booker` example.

> handleDoubleFault is [commented in the Haskell spec](https://github.com/seL4/l4v/blob/911b2147498fec3d0f8c912a2aff6cfc0503d024/spec/haskell/src/SEL4/Kernel/FaultHandler.lhs#L34). It's not a good idea to modify the kernel without reading that spec first - a lot of design structure and documentation...