
Hello, On 2025-05-21 03:16, Ivan Velickovic via Devel wrote:
Booting over TFTP requires setting up a TFTP/DHCP server, but can save a lot of time as you develop. I don’t have specific instructions for setting up a TFTP/DHCP server, but you can look on the internet for various guides. The first time I did it on a Linux machine it took 1-2 hours to setup and get working.
I highly recommend using Dnmasq on your local machine, which is simple to setup. See the --enable-tftp option at thekelleys.org.uk/dnsmasq/docs/dnsmasq-man.html. You may need to disable DHCP if that clashes with an existing DHCP server.
As you can see, it is not a trivial process. It also can't be completely automated by us (the providers of Microkit) as it really depends on how people want to setup their workflow.
There might be a third way: Using Android fastboot protocol. U-boot has support for it, but your SoC may have a vendor specific implementation too if you are pre-U-boot. E.g. i.MX based SoCs have the UUU tool. This would give the smoothest and fastest development flow, as all you need is a USB cable. You want to use the 'download' command to upload your image to a specific memory address in RAM and then boot it. (You can also use it to write to the eMMC or SD card, but that's less useful.) Greetings, Indan