[detaro]

> I mean, the author could have removed most of the complexity by using Rust HALs.

What are the "nrfXXXXX-hal" crates they use that provide the Port/Pin types then? What do the HALs provide in addition that would have helped?