Just one more question: How do i do to receive an interrupt from the non-root cell? Do i need to just read the shared memory? Do i need to type gic_setup() and gic_enable_irq() functions in my root cell code to receive interrupts?
-- 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]. For more options, visit https://groups.google.com/d/optout.
