I believe that PYNQ has the potential to be RTOS-agnostic just like how it is board-agnostic. This is just me from researching, but if the RTOS supports Python and its image gives us the same files that the PYNQ image build produces, then there should be a way to make a PYNQ image for that RTOS! I believe this can be done through tinkering with the PYNQ image build flow process. It would be awesome if this can be done, and am going to try it. What are your opinions on its potential?