I would like to try Genode on Odroid-XU4. I aware that there's no support available for this ARM device yet. However, I want to give it a try, but I don't know where to start. Can you please point me in the right direction so I can find the information that I'll need to get started this task?