On 30.01.20 22:00, Saroj Sapkota wrote:
Thank you for the prompt reply Jan.

##>This means I have to compare jetson-tx2.c with /proc/iomem addresses
and change if there is any deviation?

Yep.


##>How the address for inmate is allocated, its the spaces of system RAM?

That's what mem= or device tree reservations are for: Keep root Linux
away from some memory that can then be used for non-root inmates and the
hypervisor itself.


##>where and how can i find the .gicd_base = 0x03881000,(.gicc_base,
.gich_base, .gicv_base) addresses of the board?


Check the device tree of your target.

##> last thing how to define .irqchip; pin_base and pin_bitmap?


pin_base for the first gicd is always 32 (first SPI). The pin_bitmap of
the root cell should cover all possible SPIs. If those do not fit into
one irqchip, add another one with an appropriate pin_base.

For non-root cells, you only specify the SPIs that those should "steal"
from the root cell.

Jan

--
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jailhouse-dev/251365ff-7d39-451c-2b85-e6be4567d3b0%40web.de.

Reply via email to