$ 0 0 Given a Cyclone V SoC (HPS) with a EPCS and SD-Card. Is it possible to setup FPGA to load config from EPCS, while booting Linux from the SD Card without reprogramming the FPGA?