-> grate kernel, currently there.
Build current commit on sl101
branch using docker:
make build
make kernel
make enter # entering docker container
./make_tegra.sh
after compilation kernel as zImage with appended dtb resides in /data
which is mounted in the host os.
the contained kernel could be flashed using e.g.
adb push data/kernel-id/zImage_dtb /sdcard/
adb shell "dd if=/sdcard/zImage_dtb of=/dev/mmcblk0p9"
I am not quite sure whether the boot partition should actually be mmcblk0p4
so better find out which partition you have to flash, first.
The kernel can power a rootbinded OS. Further details here and here.