Nice one! Using an ESP32 is a much more economical choice these days, but well, I really wanted to write a Linux kernel driver ;-)