Pat Pannuto

Crap. And with apologies, just force-pushed a quick fix to my fix—forgot the `export`

Re https://github.com/tock/libtock-c/pull/456#discussion_r1819519494, I updated everything that I think needs doing, but I can't actually build anything to test because their cmake doesn't correctly separate platform detection from compiler feature selection.*...

Blocking. There's a bunch of stuff in the radiolib tock header that would pollute the global namespace in a challenging way for anything to co-exist with radiolib being included in...

I pushed an update that copies over my updated RadlioLib Tock HAL to the libtock-c repo, and has the application use our HAL to build. @alistair23 This is compile-tested only;...

These all look reasonable to me, and happy to take a PR (or possibly better several PRs as these look like a large number of rules?). My biggest ask would...

:/, that's unfortunate. I definitely can't do any kind of license change on this end in good conscience. I'm just a steward really of a project which has had many...

There are `NEWLIB_VERSION_{cortex-m0,rv_32,...}` variables defined by the build system that anything that needs that information can just use directly (they come from `Configuration.mk`, which is pulled in by `AppMakefile.mk`). I...

We have successfully proposed changes to rustdoc before, sounds like this is a case where we might need to do that again. We should make sure there isn't any open...

Makes sense. I'll mark this as blocked upstream until the revised macro scoping lands in stable [acknowledging here that that may well be a while].

FYI—there is a fairly substantial start to this in #3941. I believe the lead implementer was away for the summer, but hopefully things have begun to move forward there again....