Re: Genode on RK3588 and Emulation

Err.. I dumped the headers and indeed there is a section for the modules!

Sorry for all mails.

Right now it fails here, but not in all cases. , see links below. Where is insert_translation defined for arm_v8? https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/bootstrap...

called from https://github.com/genodelabs/genode/blob/master/repos/base-hw/src/bootstrap...

If I ignore the error.. it fails in transition to el1 from el2. The eret never returns. I have cross checked manuals for A76 and A53, and all regs involved are the same, except that A76 extends some fields. It does remain compatible with the armv8 standard.

Any thoughts?

Michael