Setting Up the OS

NVIDIA Jetson TK1 exhibits a lot of promise with lots of raw performance for its form factor and intended use, with low power consumption to boot. But as is typical with most of these types of products, the “out of the box” experience needs some help. A missing part in TK1 is a support out of the box for WiFi or Bluetooth. For people coming from commodity PCs, tablets, phones and such this is a little confusing. Usually one just installs a driver and the device starts to work. In the case of the Jetson, the actual signals on the board need to be played with a little, as well as having the driver issue [1]. In order to overcome such issues, a new Linux kernel named Grinch includes a lot of the features to which most desktop users are accustomed.

Installing Grinch kernel

The Grinch Kernel for L4T provides over 60 changes and additions to the kernel, including fixes, configuration, module and firmware support to the stock kernel. The kernel is written and supported by Jetson Forum user Santyago. For further information about the Grinch Kernel, please see the NVidia Jetson Forum.

In order to install the Grinch kernel, download the file and run as:

$ wget --no-check-certificate --content-disposition
$ chmod +x
$ ./

Running these command will download the kernel image and install it in Jetson board. After the install script completes, reboot the Jetson TK1.

Enabling USB 3.0

By default, the USB port in Jetson TK1 is not compatible to 3.0 devices. In order to enable the USB 3.0 support, you have to configure the extlinux.conf file, changing the parameter usb_port_owner_info=0 to usb_port_owner_info=2. In order to do so, run:

$ sudo gedit /boot/extlinux/extlinux.conf

The extlinux.conf file looks like:

DEFAULT primary

MENU TITLE Jetson-TK1 eMMC boot options

LABEL primary
    MENU LABEL primary kernel
    LINUX /boot/zImage
    FDT /boot/tegra124-jetson_tk1-pm375-000-c00-00.dtb
    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= 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=2 lane_owner_info=6 emc_max_dvfs=0 touch_id=0@0 board_info=0x0177:0x0000:0x02:0x43:0x00 net.ifnames=0 root=/dev/mmcblk0p1 rw rootwait tegraboot=sdmmc gpt

Look for usb_port_owner_info=0 in the file and replace it by usb_port_owner_info=2. Finally, save the file and exit.