genode/repos/base-hw
Martin Stein aa6a7db50a base-hw: communicate kernel irqs via boot info
Core used to read the kernel-reserved IRQs from the timer objects in the
kernel's CPU objects and the PIC class (inter-processor IRQ). Besides not
being "good style" to access a kernel object in Core, this becomes a problem
when trying to prevent CPU pool from being accessed via global functions.

As a solution, this commit extends the boot info to also carry an array of all
kernel-reserved IRQs.

Ref #4217
2021-10-13 14:46:52 +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: extend cache maintainance functionality 2021-06-25 11:43:41 +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: communicate kernel irqs via boot info 2021-10-13 14:46:52 +02:00