matt rice

It'd perhaps be good to add a comment to the generator/generated code indicating the source.

Are the tests failing because this requires a newer minimum cmake version I believe v3.19 added `string(JSON ...` which is greater than the currently required minimum json version (3.7.2 it...

> Is there a cmake variable with the version of the kernel in it? I don't see anything, I'm not sure exactly what the right path is, but presumably you...

I don't know how much it matters for seL4 proper, but it looks like ubuntu 22 is the first one above that has `> cmake 3.19`, which added cmake builtin...

FWIW, I am fine with waiting, In my cmake scripts for rust support where I link in [corrosion](https://github.com/corrosion-rs/corrosion/) via `repo`. This currently requires additional installation steps `install corrosion`, ensure cmake...

On the structural vs nominal debate, I've always been a fan of structural, you can add a unique nominal element to a structural type to achieve the same, unique typing...

@jonhoo fwiw, the rollback I was thinking above is slightly more complex than just tossing away the oplog, but after `publish`, being able to revert back to the previous published...

I suspect, since there has been a number of `ld` bugs in the past involving the combination of LTO, and `-Wl,--as-needed`, that this is one of those linker bugs. Could...

yeah sorry I should have noted `-Wl,--version` is definitely seems like it should fail, as it just prints the version and exits, without actually doing anything, I was just hoping...

The other thing I should note is that `-Wl,--no-as-needed` seems to be showing up *after* `-Wl,-as-needed libs... -Wl-no-as-needed`, and I think it only affects libraries on the command line after...