[seL4] Fwd: [Fwd: quesion about TK1 Linux irq]

The irq numbers are remapped in:

kernel/include/plat/tk1/plat/machine.h

Jason

?

-------- Forwarded Message -------- From: PX seawolf.peng@gmail.com To: devel@sel4.systems 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?

Thanks Peng

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel