.. SPDX-License-Identifier: GPL-2.0+
#######################
U-Boot Developer Manual
.. toctree::
efi
linker_lists
serial