Upstream with Jetson TK1

Looks like there is no simple mummo-ohje. Or I haven't been able to find it. Maybe people consider things too simple nowadays for it to require a HOWTO. Anyway. This is what I did.

Bootloader

Tegra/Resources points to u-boot flasher scripts. I went the repo sync way:

mkdir tegra-uboot-flasher
cd tegra-uboot-flasher
repo init -u git://github.com/NVIDIA/tegra-uboot-flasher-manifests.git
repo sync
cd scripts
./build-tools
./build build
# put jetson to recovery mode
sudo ./tegra-uboot-flasher flash jetson-tk1

Filesystem

I debootrapped trusty on my trimslice:
debootstrap --arch armhf trusty /path/to/trusty http://ports.ubuntu.com/ubuntu-ports/
Then comes the too easy part. You just need to start USB mass storage in u-boot in order to partition the eMMC and put a filesystem there. In u-boot prompt:
Tegra124 (Jetson TK1) # ums 0 mmc 0
and on your host gparted/fdisk/whatever to partition and format the eMMC and put whatever you desire to the filesystem. For a debootstrapped filesystem you might want to check /etc/fstab and e.g. create /etc/init/ttyS0.conf:
start on stopped rc RUNLEVEL=[2345] and (
            not-container or
            container CONTAINER=lxc or
            container CONTAINER=lxc-libvirt)

stop on runlevel [!2345]

respawn
exec /sbin/getty -L 115200 ttyS0

Kernel

Basically just git fetch e.g. git://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git and build a kernel with tegra_defconfig. The u-boot is able to probe the filesystems for /boot/extlinux/extlinux.conf that could contain something like:
TIMEOUT 30
DEFAULT primary

MENU TITLE Jetson-TK1 eMMC boot options

LABEL primary
        MENU LABEL primary kernel
        LINUX zImage
        FDT tegra124-jetson-tk1.dtb
        APPEND console=ttyS0,115200n8 root=/dev/mmcblk0p1 rw rootwait
Then just put zImage and tegra124-jetson-tk1.dtb to the eMMC /boot/extlinux directory.