chrysn

I'd prefer having a type that does the type punning right once-and-for-all (with type names indicating that this is not a machine-encoded uint32_t but a 32-bit integer encoded in network...

Addresses are lugged around often enough that alignment can make sense (but that can be done with `_Alignas` just as well). Other than that: yes, let's ditch any needless union...

As for a transition plan (which I think is best discussed outside of the text, which would persist after transition is over), I'd suggest that * new boards are named...

Thanks, yes, #7976 would pretty much be *the* alias solution. (It even looks like it'd be extensible if we want to handle the "well-known prefixes" part just through aliases, although...

Thanks for you input and reviews. In fixups, I have * placed an explanation of BBC being a well-known prefix of Micro:bit Educational Foundation, replacing a "this needs a better...

Yes, that's one of the final steps on my list. (And as there has now come in controversial feedback, I'd give us some more time to finish the bikeshedding of...

> a potential point for the wishlist for aliasing is "allow for user > defined board names" ;-). Briefly continuing out-of-scope: This could also be "third party defined names". Like,...

[oups, that was sitting unsent here while I've been replying via mail...] > typing Aliases can help, and so will the known prefixes (which eventually might be handled by aliases)....

I agree that this looks quite suboptimal; from my understanding of interrupt lines in general (it's been too long since I've actually programmed ENC28J60 drivers) it should suffice if the...

Might be related to the fix for #9784 in #9806.