Linux PR System
From RCSWiki
Configure Linux just as before, except under Device Drivers -> Character Devices select the Xilinx Hardware ICAP.
Next, Follow the Running Linux Partial Reconfiguration on the ML-410 Tutorial
Configure Linux just as before, except under Device Drivers -> Character Devices select the Xilinx Hardware ICAP.
Next, Follow the Running Linux Partial Reconfiguration on the ML-410 Tutorial