First up, thank you for taking the time to address my questions.
I have been able to correctly assemble an image for my CCFMC board that carries the subject eval platform. What I have done has been following the guides, and using the command line nearly 100%. I run "make" for the FPGA image, then I assemble the SD card image w/ the linux binary using build_boot_bin.sh, and I can then boot. Save for looking at reports post-build about the image, I am not using any Xilinx GUI to incorporate the linux image, and I am not sure there is a way to do so. I am not actually planning to edit the linux kernel/device tree overlay, but I may need to do so.
My question is: does Vivado/Xilinx have a real workflow that uses the GUI to incorporate a linux kernel (seems like maybe but at great effort)? Can I change the running FPGA image while the system is booted (seems like no)? ILA can be probed through the GUI, but can it actually replace an FPGA image "on the fly" or do I have to regenerate/replace my BOOT.bin file each time I do a build?
Am I wasting my time trying to find a GUI workpath, or am I avoiding learning about an important aspect of the Xilinx product by not doing so?
I appreciate your help, and thank you.