Funtoo on the Nvidia TK1

Introduction

Read this.

And this

And this.

Getting the Sources

root # wget https://developer.nvidia.com/sites/default/files/akamai/mobile/files/L4T/kernel_src.tbz2 -O $LINUX
root # cd $LINUX
root # tar jxf kernel_src.tbz2
root # ln -s kernel linux

Kernel Building

You need a working kernel config. You can get one from a running TK1 and get it into your $XC_KERNEL_SRC directory.

root # zcat /proc/config.gz > my_TK1_config
root # scp my_TK1_config me@xchost:<xc_kernel_src>/.config