Yes, it's the normal Debian kernel plus DKMS. It just works seamlessly.