From 933780321b2a6dedf288a1712171413ccbf87389 Mon Sep 17 00:00:00 2001 From: "S.J.R. van Schaik" Date: Fri, 4 Aug 2017 13:53:53 +0200 Subject: [PATCH] user-doc: properly typeset CONFIG options --- user-doc/user-doc.tex | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/user-doc/user-doc.tex b/user-doc/user-doc.tex index cb0e734..7eaabac 100644 --- a/user-doc/user-doc.tex +++ b/user-doc/user-doc.tex @@ -119,11 +119,17 @@ While U-boot also supports booting from SPI NOR flash, it has been disabled by d make menuconfig \end{minted} -Enable the CONFIG\_SPL\_SPI\_SUNXI option. +Enable the {\tt CONFIG\_SPL\_SPI\_SUNXI} option. It is possible that the resulting binary will be too large. -In that case, an option like CONFIG\_SPL\_MMC\_SUPPORT can be disabled to save some space. +In that case, an option like {\tt CONFIG\_SPL\_MMC\_SUPPORT} can be disabled to save some space. After the configuration options have been set up, rebuild the u-boot binary again. +\subsection{Linux kernel} + +{\tt CONFIG\_KEXEC} + +\subsection{initramfs} + \section{Flashing ROTS} \subsection{Using an External Programmer}