On 2/27/23 1:01 PM, Bartosz Golaszewski wrote: > Ah, right. Android again. :) > > Does the android build file need to live in the top source directory? > Can it go into a separate contrib/ directory where this kind of less > maintained stuff could go? Yeah, that should work as far as I understand. I'll test it out and re-send the Android build file patch if this works out. > Sounds good I will add it. Unfortunately it's impossible to know the > kernel version at build-time so configure checks are useless. We also > carry our own copy of the kernel uAPI headers for other reasons so > checking the target's headers won't fly either. Thanks! Ben > > Bart