I think we either need to have a tool automatically wrapping comments to some maintained, specified width

I wouldn't argue with that!

or you need to turn off automatic, whole file rewrapping in your editor.

I'm doing this manually. To me, the kernel crate is the most core crate to understand Tock, and it's worth having consistency in the presentation, even if that means periodic updates to the file because it is difficult to handle on each PR. I personally am willing to block PRs to the core kernel files until the comments are consistent, but I don't think that overhead is less than just doing it periodically.

arbitrary line wrap setting

I wouldn't say it's completely arbitrary, at least not within this PR, it's 80 characters like the other comments in the file.

Anyone else have any thoughts? I think formatting comments is valuable. I also think that if the specific wrapping of a comment matters it should be in code block, since the formatting is not going to be preserved on the generated HTML docs anyway.

Anyone else have any thoughts? I think formatting comments is valuable.

My 2ct are: well-formatted docs are nice, but if something doesn't look too terrible we shouldn't necessarily feel the need to reformat it. So I don't think it's a big deal either way.

To give some examples: if somethings formatted to wrap at 70 chars, it seems fine to keep it that way. If inserting a missing word pushes a comment above the 80 chars limit, I don't know whether we need to re-wrap 20 other lines because of that.

I think the way we handled this previously was just fine, where people generally wouldn't re-wrap comments for minor changes, and then every once in a while or on major refactors, we'd adjust formatting.

Easy enough to do. First commit is all of the formatting changes, second commit is text changes.