config.txt

Useful Arguments

enable_uart=1 # Use UART1/miniUART as debug console (also fix APB clock rate?)
enable_jtag_gpio=1 # Set JTAG GPIO pin alternatives to ALT4 to enable JTAG
arm_64bit=1 # Make the firmware assumes the kernel to be loaded is aarch64