mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-22 13:02:56 +01:00
* Unify uart drivers of different hardware drivers * Remove deprecated IRQ activations * Remove additional timer thread in Fiasco* KDB driver * Move more generic UART definitions to specific supported platforms (e.g.: pl011 -> pbxa9) * Move internal definitions from global to local headers Ref #1987 Fix #2071