Add the board to the list of supported targets and document the required
kernel command line extension.
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
- Banana Pi (see also [below](#setup-on-banana-pi-arm-board))
+ - NVIDIA Jetson TK1
+
- ARM Versatile Express with Cortex-A15 or A7 cores
(includes ARM Fast Model)
*
* This work is licensed under the terms of the GNU GPL, version 2. See
* the COPYING file in the top-level directory.
+ *
+ * NOTE: Add "mem=1984M vmalloc=512M" to the kernel command line.
*/
#include <linux/types.h>