Files
lk/platform/zynq/platform_p.h
2019-07-13 15:46:16 -07:00

14 lines
320 B
C

/*
* Copyright (c) 2012 Travis Geiselbrecht
*
* Use of this source code is governed by a MIT-style
* license that can be found in the LICENSE file or at
* https://opensource.org/licenses/MIT
*/
#pragma once
void platform_init_interrupts(void);
void platform_init_timer(uint32_t freq);
void zynq_gpio_init(void);