mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-21 22:47:50 +00:00
5f5ad41ad3
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 |
||
---|---|---|
.. | ||
defs | ||
timer | ||
uart |