genode/repos/base-hw
Martin Stein 02f00a999c base-hw: global IRQ controller as Main member
Let the kernel's driver for the global IRQ controller be a member of the one
Kernel::Main object instead of having it as static variables in the drivers for
the local IRQ controllers. Note that this commit spares out renaming 'Pic' to
'Local_interrupt_controller' which would be more sensible now with the new
'Global_interrupt_controller' class. Furthermore, on ARM boards the commit
doesn't move 'Distributer' stuff to the new global IRQ controller class as they
don't have real data members (only MMIO) and can be instanciated for each CPU
anew. However, the right way would be to instanciate them only once in Main as
well.

Ref #4217
2021-10-13 14:46:53 +02:00
..
board base-hw: support packaging of multi-arch boards 2021-03-12 12:01:36 +01:00
etc base: remove SPEC variables of boards (fix #3971) 2021-01-25 13:58:09 +01:00
include base-hw: fix self-include in kernel/types.h 2021-10-13 14:46:52 +02:00
lib/mk base-hw: Core PD as Main member 2021-10-13 14:46:53 +02:00
recipes depot: update recipe hashes 2021-08-30 15:00:39 +02:00
run base-hw: fix run scripts 2020-02-20 12:11:21 +01:00
src base-hw: global IRQ controller as Main member 2021-10-13 14:46:53 +02:00