It's supported on iOS, as rtpMIDI is built into coreMIDI. Unfortunately, I haven't had time to work on my own rtpMIDI implementation for Android. There are a couple of github repos I need to look at:
https://github.com/DisappointedPig/DPMIDI
https://github.com/princeminz/rtpmididroid
Mike
https://github.com/DisappointedPig/DPMIDI
https://github.com/princeminz/rtpmididroid
Mike