I tried myself to generate the raspberry ioctls but it required libclang-dev 11 which is not in rpi repos and can't be installed by clang's script. Are there plans/is it easy to generate ioctls for raspberry? I'd like to use the SPI stuff from there