I do own a Jetson-TX1 dev kit.
I have added a SD card to be able to do some development on the board, and data disks.
I wanted to add swap to compile some software like tensorflow.
I did copy the preinstalled Emmc to the SD card as specified in Jetsonhack web site (https://www.jetsonhacks.com/2017/01/26/run-jetson-tx1-sd-card/).
This leads to a functional boot on the SD card, and mount of the data.
I did tried to compile the kernel by different variants from (https://www.jetsonhacks.com/2018/04/21/build-kernel-and-modules-nvidia-jetson-tx1/), to compiling the kernel with a manually loaded kernel L4T-TX1-28.2.
But no success in passing the kernel boot and having a shell…
I was really disappointed after downloading the sources from https://developer.nvidia.com/embedded/downloads#?tx=$product,jetson_tx1 as the source included some trivial errors surely due to a quick deliver/merge without test.
file include/linux/irqchip/arm-gic.h is incorrect and needs to be modified in order to void including some C in an ASM compile.
I tried the “make defconfig”, the “cat /proc/config > .config”, to plenty of variants.
I had diverse reaction from not loading at all to having a kernel oops.
Is there currently a source reference that enable a proper kernel compilation ?
Thanks for any help.