Jetson TK1 sysboot kernel args

I was wondering where I can find the documentation for the commandline the comes with the L4T driver package as they are not documented in the kernel-parameters.txt under Documentation/:

APPEND console=ttyS0,115200n8 console=tty1 no_console_suspend=1 lp0_vec=2064@0xf46ff000 mem=2015M@2048M memtype=255 ddr_die=2048M@2048M section=256M pmuboard=0x0177:0x0000:0x02:0x43:0x00 tsec=32M@3913M otf_key=c75e5bb91eb3bd947560357b64422f85 usbcore.old_scheme_first=1 core_edp_mv=1150 core_edp_ma=4000 tegraid=40.1.1.0.0 debug_uartport=lsport,3 power_supply=Adapter audio_codec=rt5640 modem_id=0 android.kerneltype=normal fbcon=map:1 commchip_id=0 usb_port_owner_info=0 lane_owner_info=6 emc_max_dvfs=0 touch_id=0@0 board_info=0x0177:0x0000:0x02:0x43:0x00 root=/dev/mmcblk0p1 rw rootwait tegraboot=sdmmc gpt

I am looking for a way (some kind of parameter) to pass to the kernel to use less RAM then there suppose to be. For example, if I have 2 GB of RAM, I want the kernel to only use up to 1.75 GB from the top.

Thanks.

Some of the arguments are understood by the base kernel, and documented as such. Other parameters are dependent upon some configurable option, and would be documented under that particular option or driver. These two URLs are of interest…if there is a specific argument not covered which you are interested in, you could ask more based on either the parameter or the driver:
http://man7.org/linux/man-pages/man7/kernel-command-line.7.html
http://man7.org/linux/man-pages/man7/bootparam.7.html

The ones I am interested in specifically are

lp0_vec
mem
memtype
section
otf_key
tsec

Given a commandline argument that is not a kernel parameter, how would I trace it back to a configuration option or driver?

Unfortunately not all parameters are documented, but doing a recursive grep in the kernel/Documentation directory, kernel/drivers directory, and kernel/arch/ directory often is the way to go. Sometimes just a google search for "linux kernel driver " can also do it. In this case you probably do need someone here to provide the definition of how those are used (you should be able to find them in source, but it won’t necessarily be easier to figure out how they work). I would agree that a list of kernel parameters specific to Jetsons would be useful here.

I found some documentation on that: http://redsymbol.net/linux-kernel-boot-parameters/

I hope you will find useful. I am looking for the actually the opposite of what you are looking, pre-allocating more memory for GPU at booting time.