Article note: Oh man yes please. The current tooling for connecting the PL and PS of their FPGASoC parts (plumbing between PetaLinux and Vivado) are a shitfight.
Give someone state and they’ll have a bug one day, but teach them how to represent state in two separate locations that have to be kept in sync and they’ll have bugs for a lifetime