Hardware h264 video encoding.

[Randomuser]

I've been searching and searching and I'm finding various info about people saying h264 hardware encoding is implemented. I even found some github code for hantro h1 encoder which supposedly rk3566 has, but there is no straightforward confirmation whether this works or not.

I really don't care about the OS. I would prefer Linux, but android is fine too. Can someone please confirm or deny h264 encoding works on this hw? If no OS driver exists then is there a closed source driver?