Most google path about driver with ATiny uK led to years 2014-1016
I search hardware-ready driver for software joy, have some experiences with AVR microcontrollers. PIC is allowed too.
Preferred non AMC7135 driver, buck or boost (have different LED-s), for 20mm 21700 device, 4-6A
Were I in your shoes, I would try talking to @thefreeman; he’s in the EU and has authored some amazing drivers.
Not sure if he has any available (he didn’t when I ask him about it a few weeks ago), but I would try contacting him anyway.