seL4/include/drivers
Axel Heider 4608941f38 debug: restructure kernel console handling
Remove the UART handling details from the top level I/O handling that
implements printf(). The architecture's I/O handling must define how
the debug channel is implemented and what special handling is
required. This allows separating UART and SBI debug output handling.

Signed-off-by: Axel Heider <axelheider@gmx.de>
2021-05-14 13:13:36 +10:00
..
irq riscv: Map devices with large pages on 32 & 64-bit 2020-12-03 10:31:16 +11:00
smmu trivial: style and comment 2020-10-28 17:30:42 +11:00
timer replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
uart.h debug: restructure kernel console handling 2021-05-14 13:13:36 +10:00