1 /*
2  * Copyright (c) 2014 Brian Swetland
3  *
4  * Use of this source code is governed by a MIT-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/MIT
7  */
8 #pragma once
9 
10 #include <sys/types.h>
11 #include <stdbool.h>
12 
13 status_t zynq_program_fpga(paddr_t physaddr, size_t length);
14 bool zync_fpga_config_done(void);
15 void zynq_reset_fpga(void);
16 
17