> 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