1 /* 2 * Generate a VGA signal using a PIC32 microcontroller. 3 * 4 * Copyright (C) 2017, 2018 Paul Boddie <paul@boddie.org.uk> 5 * 6 * This program is free software: you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License as published by 8 * the Free Software Foundation, either version 3 of the License, or 9 * (at your option) any later version. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program. If not, see <http://www.gnu.org/licenses/>. 18 */ 19 20 #ifndef __MAIN_H__ 21 #define __MAIN_H__ 22 23 #include "vga_display.h" 24 25 /* Peripheral pin configuration. */ 26 27 void config_oc(void); 28 void config_uart(void); 29 30 /* Display operations. */ 31 32 void start_visible(vga_display_t *vga_display); 33 void update_visible(vga_display_t *vga_display); 34 void stop_visible(vga_display_t *vga_display); 35 36 /* Vertical sync operations. */ 37 38 void vsync_high(void); 39 void vsync_low(void); 40 41 #endif /* __MAIN_H__ */