Ben

Rather than go through it by hand only for it to be vulnerable to code rot, I can audit the CI system, making sure that it's picking up each of...

In that case, I'll find something else to check up on. I'll keep this in the back of my mind in the meantime.

(Wall of text. Perhaps I've put a lot more thought to this than it needs. It had me thinking, though, and I went into the blog-writing mindset :confounded:. Perhaps I...

This is an opinionated PR, with the benefit being purely subjective. `rustfmt` CI failure is inconsequential to this PR. _Edit: fixed it._ My arguments in favor of accepting this PR:...

@lukechu10 with the context of 0.8 happening, consider this issue a polite/lightly-put request for a backport of the fix. lightly-put because it will be redundant quite soon, and (for us...

In the context of [this pre-RFC](https://sel4.discourse.group/t/pre-rfc-to-effortlessly-develop-sel4-systems-in-rust/539), I think getting rid of `autoconf.h` becomes more pressing? the complexity described here: > If I remember correctly, this did not work because libsel4...

> Yes, plenty. Ben promised to write up a few short notes. https://hackmd.io/@eqFu3cQ2RbyIaZC0igYCLQ/Bkvyq0p2c/edit

It's what I used as a reference for putting this together. I wanted to avoid having a moving target for a reference. At some point, I would like to generate...

appologies. Forgot to sign off on the commit. Will do that now...

Regarding the commit history, I'm not sure what the culture/expectation will be. Would this commit be a reasonable starting point, or would it be preferred that I integrate the commit...