Intel® FPGA SDK for OpenCL™: Intel® Cyclone® V SoC Development Kit Reference Platform Porting Guide
                    
                        ID
                        683435
                    
                
                
                    Date
                    11/06/2017
                
                
                    Public
                
            
                        
                        
                            
                                1.1. Overview of the Cyclone V SoC Development Kit Reference Platform
                            
                            
                        
                            
                                1.2. Porting the Reference Platform to Your SoC FPGA Board
                            
                            
                        
                            
                            
                                1.3. Software Support for Shared Memory
                            
                        
                            
                                1.4. FPGA Reconfiguration
                            
                            
                        
                            
                                1.5. Building an SD Flash Card Image
                            
                            
                        
                            
                                1.6. Compiling the Linux Kernel for Cyclone V SoC FPGA
                            
                            
                        
                            
                            
                                1.7. Known Issues
                            
                        
                            
                            
                                1.8. Document Revision History
                            
                        
                    
                1.5. Building an SD Flash Card Image
 Because the Cyclone® V SoC FPGA is a full system on a chip, you are responsible for delivering the full definition of the system.  Intel®  recommends that you deliver it in the form of an SD flash card image. The  Intel® FPGA SDK for OpenCL™  user can simply write the image to the micro SD flash card and the SoC FPGA board is ready for use.