On the other hand - maybe running in HYP mode is what is better for Genode? Some hints?
Answering to myself, I've just found:
https://genode.org/documentation/articles/arm_virtualization
so probably I'll find answers there for this question.
Tomasz Gajewski