/* * This file is part of the Black Magic Debug project. * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program. If not, see . */ #include "general.h" #include "gdb_if.h" #include "cdcacm.h" #include "usbuart.h" #include #include #include #include #include #define SYSTICKHZ 100 #define SYSTICKMS (1000 / SYSTICKHZ) #define PLL_DIV_80MHZ 5 #define PLL_DIV_25MHZ 16 extern void trace_tick(void); jmp_buf fatal_error_jmpbuf; uint8_t running_status; volatile uint32_t timeout_counter; void sys_tick_handler(void) { if(timeout_counter) timeout_counter--; trace_tick(); } void platform_init(void) { int i; for(i=0; i<1000000; i++); rcc_sysclk_config(OSCSRC_MOSC, XTAL_16M, PLL_DIV_80MHZ); // Enable all JTAG ports and set pins to output periph_clock_enable(RCC_GPIOA); periph_clock_enable(RCC_GPIOB); gpio_enable_ahb_aperture(); gpio_mode_setup(TMS_PORT, GPIO_MODE_OUTPUT, GPIO_PUPD_NONE, TMS_PIN); gpio_mode_setup(TCK_PORT, GPIO_MODE_OUTPUT, GPIO_PUPD_NONE, TCK_PIN); gpio_mode_setup(TDI_PORT, GPIO_MODE_OUTPUT, GPIO_PUPD_NONE, TDI_PIN); gpio_mode_setup(TDO_PORT, GPIO_MODE_INPUT, GPIO_PUPD_NONE, TDO_PIN); gpio_mode_setup(SRST_PORT, GPIO_MODE_OUTPUT, GPIO_PUPD_NONE, SRST_PIN); gpio_set_output_config(SRST_PORT, GPIO_OTYPE_OD, GPIO_DRIVE_2MA, SRST_PIN); gpio_set(SRST_PORT, SRST_PIN); systick_set_clocksource(STK_CSR_CLKSOURCE_AHB_DIV8); systick_set_reload(rcc_get_system_clock_frequency() / (SYSTICKHZ * 8)); systick_interrupt_enable(); systick_counter_enable(); nvic_enable_irq(NVIC_SYSTICK_IRQ); nvic_enable_irq(NVIC_UART0_IRQ); periph_clock_enable(RCC_GPIOD); __asm__("nop"); __asm__("nop"); __asm__("nop"); gpio_mode_setup(GPIOD_BASE, GPIO_MODE_ANALOG, GPIO_PUPD_NONE, GPIO4|GPIO5); usb_enable_interrupts(USB_INT_RESET | USB_INT_DISCON | USB_INT_RESUME | USB_INT_SUSPEND, 0xff, 0xff); usbuart_init(); cdcacm_init(); } void platform_delay(uint32_t delay) { timeout_counter = delay * 10; while(timeout_counter); } const char *platform_target_voltage(void) { return "not supported"; } char *serialno_read(char *s) { /* FIXME: Store a unique serial number somewhere and retreive here */ uint32_t unique_id = 1; int i; /* Fetch serial number from chip's unique ID */ for(i = 0; i < 8; i++) { s[7-i] = ((unique_id >> (4*i)) & 0xF) + '0'; } for(i = 0; i < 8; i++) if(s[i] > '9') s[i] += 'A' - '9' - 1; s[8] = 0; return s; } void platform_request_boot(void) { }