docs/design/console-framework.rst

9 that the driver of the UART that is needed is already implemented. If not, a driver
28         The supported UART list is non-exhaustive. Check if the UART driver has
62 UART driver API is defined in ``include/drivers/arm/pl011.h``.
64 A skeleton console driver (assembly) is provided in TF-A ``drivers/console/aarch64/
89         The ``xxx`` in the function name is replaced with the console driver
91         ``console_pl011_register`` in the driver for pl011.
149     xxx      : name of the console driver
156 driver's register function. It takes ``putc``, ``getc`` and ``flush`` macro
157 arguments. It will register all of the driver's callbacks in the ``console_t``
171 Currently there is no C template for implementing a console driver in C but it can
173 for an implementation of a console driver in C.
176 implementing a console driver using C.
180         support is required then the console driver will need to be written in