The irq numbers are remapped in:
-------- Forwarded Message -------- From: PX email@example.com To: firstname.lastname@example.org Subject: [seL4] quesion about TK1 Linux irq Date: Mon, 26 Sep 2016 17:38:47 -0400
Hi, I have questions about the irqs defined for TK1 guest linux. 1. The linux_pt_irqs defined in tk1_vmlinux.h lists all the IRQs for I/O devices, but why they are different from TK1 manual? Does seL4 perform some mapping for guest Linux? 2. what 's the Physical address for Ethernet card on TK1 board?
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel