genode/repos/base-hw
Stefan Kalkowski 5f5ad41ad3 hw: unify irq enumeration for Raspberri Pi
By now, the enumeration of peripheral interrupts on Raspberry Pi 1 was
different in between base-hw kernel and Fiasco.OC. Therefore, hacks were
needed in every driver to request the correct interrupt number dependent
on the kernel. Before reproducing the same in the platform driver for rpi,
we can more easily use the same enumeration with base-hw.

Ref #3864
2020-08-25 11:50:12 +02:00
..
doc Retire OMAP4 support 2020-04-17 12:39:32 +02:00
etc kernel: differentiate board-specific components 2019-05-27 14:46:52 +02:00
include vmm: unify armv7/v8 virtualization 2020-04-17 12:52:02 +02:00
lib/mk hw: implement Pd_session::managing_system for ATF 2020-08-25 11:50:11 +02:00
ports Update Muen port 2019-05-27 14:46:53 +02:00
recipes depot: update recipe hashes 2020-07-13 11:33:53 +02:00
run base-hw: fix run scripts 2020-02-20 12:11:21 +01:00
src hw: unify irq enumeration for Raspberri Pi 2020-08-25 11:50:12 +02:00