I currently setup a DRTIO system which contain two artiq machine, driven by different core --- Kasli and Kasli-SoC

After I tried to build firmware and gateware for the Kasli and the Kasli-SoC, I found that the folder for the Kasli , which generated by the building command, took several hundred MB space and the boot.bin file for the Kasli-SoC took only nearly 3MB space.

I wonder is it a normal situation or have I done something wrong? Could someone please help me to explain this?

Thank you for your help in advance.

Not all or even most of the files generated by the build process are actually flashed to Kasli.