mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
f1535b2481
* 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