To change the kernel for Jetson AGX XAVIER, I have downloaded the Kernel Source Code and tool chain for x86 Ubuntu.
Then I changed the kernel files related to PCI bus, such as
Following the instruction “Kernel Customization”, I made new kernel image without errors.
To flashing the new kernel, in Kernel_for_Tegra directory,
I use the below command in recovery mode of Jetson AGX XAVIER:
$ ./flash.sh -k kernel jetson-agx-xavier-devkit mmcblk0p1
Flashing command is well done as like:
*** The [kernel] has been updated successfully. ***
But Jetson AGX XAVIER is booting using old kernel, not newly generated kernel.
I have attached the log file from flash.sh.
flash-log.txt (43.8 KB)