OS 13.1 Raspberry Pi an RasClock

Do use anybody RasClock (https://www.modmypi.com/rasclock-raspberry-pi-real-time-clock-module?filter_name=RasClockon) Raspbery Pi and OS13.1 ?
Has Bernhard M. Wiedemann distribution (http://zq1.de/~bernhard/linux/opensuse/)all the necessary drivers?