Gerwin Klein

Sample output is here: https://sel4.discourse.group/t/json-kernel-config-output/549

> > Since it's fairly simple JSON output, would it be possible to implement the function "natively" as a cmake function for versions < 3.19? > > I wonder if...

> I think there should be one place to track the config. Completely agree with that. AFAICT the python approach still satisfies this, i.e. the single source of truth is...

While I think this is pretty cool, there is a fundamental problem: if taken to the end, this essentially duplicates the manual and we're already behind with just keeping one...

For clarification: is this attempting to be documentation only or is it describing one of the existing seL4 Rust libraries (e.g. from Robigalia or Icecap)?

> It started off as a close to direct transcription of the manual. At various points, I started fiddling around with making it more "rusty" (such returning `Result`, and some...

I'll close the PR here, but I think this work could be used in the upcoming work on a "standard" seL4 Rust library outside of the seL4 repo itself.

Well spotted, I think the change makes sense, otherwise you always have authority leakage through replies. There might be one or two more of these tweaks as we start thinking...

I'd be fine with leaving it in for now. It's easier to do a second round that removes it than a second round that adds it back in because we...

> > I'd be fine with leaving it in for now. It's easier to do a second round that removes it than a second round that adds it back in...