How to develop drivers on JTX1 qucikly

Hi all:
I want to do kernel drives develop on JTX1.
Each time i have to make image mnt as referred in l4t-documentation-24-2-1/nvl4t_docs,use cmd
sudo ./ jetson-tx1 mmcblk0p1,
it costs about 20 min each times.
This wastes lots of time, is there any other way to do the job?
such as tftp download and so on.

Thank you

hello xavierSFan,

did you mean replace the kernel image?
you can copy the kernel image to JetsonTX1 and replace it with /boot/Image, doing warm reboot with “sudo reboot” and it should be works.

Thank you very much.
It does help a lot.