Bare metal programming with Zig — is this language the right choice?

had some experience (not very successful) with Zig on AVR8

But, as to a “is this language the right choice” question I would answer - yes, it is.
After all, it’s intended to be a “systems programming” language.