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

..

bbl

base-hw: BBL fix warnings

2017-08-30 10:00:00 +02:00

bootstrap

base: remove Cancelable_lock

2020-07-30 08:49:23 +02:00

core

hw: unify irq enumeration for Raspberri Pi

2020-08-25 11:50:12 +02:00

include

hw: check descriptor validity in LPAE lookup

2020-07-30 08:49:23 +02:00

kernel/spec/muen

Update Muen port

2019-05-27 14:46:53 +02:00

lib

base: remove deprecated cancel_blocking() support

2020-07-13 11:33:12 +02:00

test

base-hw: Ada-compliant scheduler method signatures

2020-02-20 12:11:22 +01:00

timer/hw

hw: increase timing accuracy of kernel (fix #3081)

2019-03-18 15:56:23 +01:00