Xen users - Jun 2014 - Grant iomem access and map IRQs to a domU guest in Xen for ARM targets

Hi All,

I am working on running a RTOS as a domU guest on a omap5 evm (Cortex-A15).
As part of this effort, I need to create drivers for certain peripherals
that are owned by the domU guest (basically make the domU a driver domain for
certain peripherals). In order to achieve this I need to be able to grant
domU access to certain memory mapped registers and map a SPI IRQ generated by
the hw peripheral to it.

I went through the xl.cfg documentation and my understanding is that it
supports 2 options called "iomem" and "irqs" that I can use
to achieve the
aforementioned purpose when creating a guest. However, it looks like these are
not implemented in Xen-ARM. My question is that what is the recommended way of
achieving this in Xen for ARM targets ?

Thanks,
Ashish