Debian 12/13, with kernel 6.15.

Sorry, should have mentioned that in the blog post.