Hey David On 04.08.2015 14:28, David Goltzsche wrote: > thanks for the help. When passing the physical IRQ number, it works!
Maybe one more hint, by the way, although I assume that you're already aware of it. Choose carefully which IRQ numbers to use for cross-world communication. Logically, you don't want to use any IRQ number that is used for device-software communication at the same time or that is not unmasked in your Linux guest. As you can see in [1], I have made good experience with IRQ 92 (TV encoder IRQ) on the USB armory. Cheers, Martin [1] <GENODE>/repos/os/run/tz_vmm.run ------------------------------------------------------------------------------ _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
