Time for next problem, interrupts. No interrupts are firing including timer. This is my GIC mem layout:
IRQ_CONTROLLER_DISTR_BASE = 0xfee00000, IRQ_CONTROLLER_DISTR_SIZE = 0x100000, IRQ_CONTROLLER_REDIST_BASE = 0xfef00000, IRQ_CONTROLLER_REDIST_SIZE = 0x100000, The addresses are what RISC OS uses on rk3399. If this is correct, what can stop interrupts.. can they be turned off? I probably need to toggle because I think that they are on from uboot. I can fix in uboot, but it would be nice if it can be done in kernel. Thanks Michael _______________________________________________ users mailing list -- users@lists.genode.org To unsubscribe send an email to users-le...@lists.genode.org Archived at https://lists.genode.org/mailman3/hyperkitty/list/users@lists.genode.org/message/B3PR6FAMO62YLO5ZMOWXSGARFXKHMX27/
