| 
									
										
										
										
											2019-03-20 16:11:42 +07:00
										 |  |  | /* 
 | 
					
						
							|  |  |  |  * The MIT License (MIT) | 
					
						
							|  |  |  |  * | 
					
						
							| 
									
										
										
										
											2019-05-14 11:48:05 +07:00
										 |  |  |  * Copyright (c) 2019 Ha Thach (tinyusb.org) | 
					
						
							| 
									
										
										
										
											2019-03-20 16:11:42 +07:00
										 |  |  |  * | 
					
						
							|  |  |  |  * Permission is hereby granted, free of charge, to any person obtaining a copy | 
					
						
							|  |  |  |  * of this software and associated documentation files (the "Software"), to deal | 
					
						
							|  |  |  |  * in the Software without restriction, including without limitation the rights | 
					
						
							|  |  |  |  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell | 
					
						
							|  |  |  |  * copies of the Software, and to permit persons to whom the Software is | 
					
						
							|  |  |  |  * furnished to do so, subject to the following conditions: | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * The above copyright notice and this permission notice shall be included in | 
					
						
							|  |  |  |  * all copies or substantial portions of the Software. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR | 
					
						
							|  |  |  |  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, | 
					
						
							|  |  |  |  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE | 
					
						
							|  |  |  |  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER | 
					
						
							|  |  |  |  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, | 
					
						
							|  |  |  |  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN | 
					
						
							|  |  |  |  * THE SOFTWARE. | 
					
						
							|  |  |  |  * | 
					
						
							|  |  |  |  * This file is part of the TinyUSB stack. | 
					
						
							|  |  |  |  */ | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-22 22:06:48 +07:00
										 |  |  | #include "chip.h"
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | #include "../board.h"
 | 
					
						
							| 
									
										
										
										
											2019-03-22 22:06:48 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-04-08 15:15:52 +07:00
										 |  |  | //--------------------------------------------------------------------+
 | 
					
						
							|  |  |  | // USB Interrupt Handler
 | 
					
						
							|  |  |  | //--------------------------------------------------------------------+
 | 
					
						
							|  |  |  | void USB0_IRQHandler(void) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   #if CFG_TUSB_RHPORT0_MODE & OPT_MODE_HOST
 | 
					
						
							|  |  |  |     tuh_isr(0); | 
					
						
							|  |  |  |   #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   #if CFG_TUSB_RHPORT0_MODE & OPT_MODE_DEVICE
 | 
					
						
							| 
									
										
										
										
											2020-04-17 12:27:53 +07:00
										 |  |  |     tud_int_handler(0); | 
					
						
							| 
									
										
										
										
											2020-04-08 15:15:52 +07:00
										 |  |  |   #endif
 | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void USB1_IRQHandler(void) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   #if CFG_TUSB_RHPORT1_MODE & OPT_MODE_HOST
 | 
					
						
							|  |  |  |     tuh_isr(1); | 
					
						
							|  |  |  |   #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   #if CFG_TUSB_RHPORT1_MODE & OPT_MODE_DEVICE
 | 
					
						
							| 
									
										
										
										
											2020-04-17 12:27:53 +07:00
										 |  |  |     tud_int_handler(1); | 
					
						
							| 
									
										
										
										
											2020-04-08 15:15:52 +07:00
										 |  |  |   #endif
 | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | //--------------------------------------------------------------------+
 | 
					
						
							|  |  |  | // MACRO TYPEDEF CONSTANT ENUM DECLARATION
 | 
					
						
							|  |  |  | //--------------------------------------------------------------------+
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:17:46 +07:00
										 |  |  | // PD_10
 | 
					
						
							| 
									
										
										
										
											2019-10-24 12:20:06 +07:00
										 |  |  | #define LED_PORT      6
 | 
					
						
							|  |  |  | #define LED_PIN       24
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:17:46 +07:00
										 |  |  | // P4_0
 | 
					
						
							|  |  |  | #define BUTTON_PORT   2
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:09:44 +07:00
										 |  |  | #define BUTTON_PIN    0
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-04-08 15:15:52 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | /* System configuration variables used by chip driver */ | 
					
						
							|  |  |  | const uint32_t OscRateIn = 12000000; | 
					
						
							| 
									
										
										
										
											2019-05-15 16:09:44 +07:00
										 |  |  | const uint32_t ExtRateIn = 0; | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:32:59 +07:00
										 |  |  | static const PINMUX_GRP_T pinmuxing[] = | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2019-05-15 16:17:46 +07:00
										 |  |  | 	// LEDs
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 	{0xD, 10, (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC4)}, | 
					
						
							| 
									
										
										
										
											2019-05-15 16:09:44 +07:00
										 |  |  | 	{0xD, 11, (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC4 | SCU_MODE_PULLDOWN)}, | 
					
						
							|  |  |  | 	{0xD, 12, (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC4 | SCU_MODE_PULLDOWN)}, | 
					
						
							|  |  |  | 	{0xD, 13, (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC4 | SCU_MODE_PULLDOWN)}, | 
					
						
							|  |  |  | 	{0xD, 14, (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC4 | SCU_MODE_PULLDOWN)}, | 
					
						
							|  |  |  | 	{0x9, 0,  (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC0 | SCU_MODE_PULLDOWN)}, | 
					
						
							|  |  |  | 	{0x9, 1,  (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC0 | SCU_MODE_PULLDOWN)}, | 
					
						
							|  |  |  | 	{0x9, 2,  (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC0 | SCU_MODE_PULLDOWN)}, | 
					
						
							| 
									
										
										
										
											2018-12-04 13:32:59 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:17:46 +07:00
										 |  |  | 	// Button
 | 
					
						
							|  |  |  | 	{0x4, 0,  (SCU_MODE_INBUFF_EN | SCU_MODE_INACT | SCU_MODE_FUNC0 | SCU_MODE_PULLUP)}, | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 	/*  I2S  */ | 
					
						
							|  |  |  | 	{0x3, 0,  (SCU_PINIO_FAST | SCU_MODE_FUNC2)}, | 
					
						
							|  |  |  | 	{0x6, 0,  (SCU_PINIO_FAST | SCU_MODE_FUNC4)}, | 
					
						
							|  |  |  | 	{0x7, 2,  (SCU_PINIO_FAST | SCU_MODE_FUNC2)}, | 
					
						
							|  |  |  | 	{0x6, 2,  (SCU_PINIO_FAST | SCU_MODE_FUNC3)}, | 
					
						
							|  |  |  | 	{0x7, 1,  (SCU_PINIO_FAST | SCU_MODE_FUNC2)}, | 
					
						
							|  |  |  | 	{0x6, 1,  (SCU_PINIO_FAST | SCU_MODE_FUNC3)}, | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | /* Pin clock mux values, re-used structure, value in first index is meaningless */ | 
					
						
							| 
									
										
										
										
											2018-12-04 13:32:59 +07:00
										 |  |  | static const PINMUX_GRP_T pinclockmuxing[] = | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 	{0, 0,  (SCU_MODE_INACT | SCU_MODE_INBUFF_EN | SCU_MODE_ZIF_DIS | SCU_MODE_HIGHSPEEDSLEW_EN | SCU_MODE_FUNC0)}, | 
					
						
							|  |  |  | 	{0, 1,  (SCU_MODE_INACT | SCU_MODE_INBUFF_EN | SCU_MODE_ZIF_DIS | SCU_MODE_HIGHSPEEDSLEW_EN | SCU_MODE_FUNC0)}, | 
					
						
							|  |  |  | 	{0, 2,  (SCU_MODE_INACT | SCU_MODE_INBUFF_EN | SCU_MODE_ZIF_DIS | SCU_MODE_HIGHSPEEDSLEW_EN | SCU_MODE_FUNC0)}, | 
					
						
							|  |  |  | 	{0, 3,  (SCU_MODE_INACT | SCU_MODE_INBUFF_EN | SCU_MODE_ZIF_DIS | SCU_MODE_HIGHSPEEDSLEW_EN | SCU_MODE_FUNC0)}, | 
					
						
							|  |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | // Invoked by startup code
 | 
					
						
							|  |  |  | void SystemInit(void) | 
					
						
							|  |  |  | { | 
					
						
							| 
									
										
										
										
											2019-03-13 23:14:48 +07:00
										 |  |  |   /* Setup system level pin muxing */ | 
					
						
							|  |  |  |   Chip_SCU_SetPinMuxing(pinmuxing, sizeof(pinmuxing) / sizeof(PINMUX_GRP_T)); | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-13 23:14:48 +07:00
										 |  |  |   /* Clock pins only, group field not used */ | 
					
						
							|  |  |  |   for (uint32_t i = 0; i < (sizeof(pinclockmuxing) / sizeof(pinclockmuxing[0])); i++) | 
					
						
							|  |  |  |   { | 
					
						
							|  |  |  |     Chip_SCU_ClockPinMuxSet(pinclockmuxing[i].pinnum, pinclockmuxing[i].modefunc); | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							|  |  |  |   Chip_SetupXtalClocking(); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void board_init(void) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   SystemCoreClockUpdate(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | #if CFG_TUSB_OS == OPT_OS_NONE
 | 
					
						
							| 
									
										
										
										
											2019-03-23 16:51:07 +07:00
										 |  |  |   // 1ms tick timer
 | 
					
						
							|  |  |  |   SysTick_Config(SystemCoreClock / 1000); | 
					
						
							| 
									
										
										
										
											2019-05-15 16:17:46 +07:00
										 |  |  | #elif CFG_TUSB_OS == OPT_OS_FREERTOS
 | 
					
						
							|  |  |  |   // If freeRTOS is used, IRQ priority is limit by max syscall ( smaller is higher )
 | 
					
						
							|  |  |  |   //NVIC_SetPriority(USB0_IRQn, configLIBRARY_MAX_SYSCALL_INTERRUPT_PRIORITY );
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   Chip_GPIO_Init(LPC_GPIO_PORT); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:09:44 +07:00
										 |  |  |   // LED
 | 
					
						
							|  |  |  |   Chip_GPIO_SetPinDIROutput(LPC_GPIO_PORT, LED_PORT, LED_PIN); | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:09:44 +07:00
										 |  |  |   // Button
 | 
					
						
							|  |  |  |   Chip_GPIO_SetPinDIRInput(LPC_GPIO_PORT, BUTTON_PORT, BUTTON_PIN); | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | 
 | 
					
						
							|  |  |  | #if 0
 | 
					
						
							|  |  |  |   //------------- UART -------------//
 | 
					
						
							|  |  |  |   scu_pinmux(BOARD_UART_PIN_PORT, BOARD_UART_PIN_TX, MD_PDN, FUNC1); | 
					
						
							|  |  |  |   scu_pinmux(BOARD_UART_PIN_PORT, BOARD_UART_PIN_RX, MD_PLN | MD_EZI | MD_ZI, FUNC1); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   UART_CFG_Type UARTConfigStruct; | 
					
						
							|  |  |  |   UART_ConfigStructInit(&UARTConfigStruct); | 
					
						
							| 
									
										
										
										
											2019-10-12 00:00:08 +07:00
										 |  |  |   UARTConfigStruct.Baud_rate   = CFG_BOARD_UART_BAUDRATE; | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  |   UARTConfigStruct.Clock_Speed = 0; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   UART_Init(BOARD_UART_PORT, &UARTConfigStruct); | 
					
						
							|  |  |  |   UART_TxCmd(BOARD_UART_PORT, ENABLE); // Enable UART Transmit
 | 
					
						
							|  |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   //------------- USB -------------//
 | 
					
						
							| 
									
										
										
										
											2018-12-05 11:53:56 +07:00
										 |  |  |   enum { | 
					
						
							|  |  |  |     USBMODE_DEVICE = 2, | 
					
						
							|  |  |  |     USBMODE_HOST   = 3 | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   enum { | 
					
						
							|  |  |  |     USBMODE_VBUS_LOW  = 0, | 
					
						
							|  |  |  |     USBMODE_VBUS_HIGH = 1 | 
					
						
							|  |  |  |   }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   // USB0
 | 
					
						
							|  |  |  | #if CFG_TUSB_RHPORT0_MODE
 | 
					
						
							|  |  |  |   Chip_USB0_Init(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-11-22 14:20:10 +07:00
										 |  |  | //  // Reset controller
 | 
					
						
							|  |  |  | //  LPC_USB0->USBCMD_D |= 0x02;
 | 
					
						
							|  |  |  | //  while( LPC_USB0->USBCMD_D & 0x02 ) {}
 | 
					
						
							|  |  |  | //
 | 
					
						
							|  |  |  | //  // Set mode
 | 
					
						
							|  |  |  | //  #if CFG_TUSB_RHPORT0_MODE & OPT_MODE_HOST
 | 
					
						
							|  |  |  | //    LPC_USB0->USBMODE_H = USBMODE_HOST | (USBMODE_VBUS_HIGH << 5);
 | 
					
						
							|  |  |  | //  #else // TODO OTG
 | 
					
						
							|  |  |  | //    LPC_USB0->USBMODE_D = USBMODE_DEVICE;
 | 
					
						
							|  |  |  | //    LPC_USB0->OTGSC = (1<<3) | (1<<0) /*| (1<<16)| (1<<24)| (1<<25)| (1<<26)| (1<<27)| (1<<28)| (1<<29)| (1<<30)*/;
 | 
					
						
							|  |  |  | //  #endif
 | 
					
						
							| 
									
										
										
										
											2018-12-05 11:53:56 +07:00
										 |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   // USB1
 | 
					
						
							|  |  |  | #if CFG_TUSB_RHPORT1_MODE
 | 
					
						
							|  |  |  |   Chip_USB1_Init(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-11-22 14:20:10 +07:00
										 |  |  | //  // Reset controller
 | 
					
						
							|  |  |  | //  LPC_USB1->USBCMD_D |= 0x02;
 | 
					
						
							|  |  |  | //  while( LPC_USB1->USBCMD_D & 0x02 ) {}
 | 
					
						
							|  |  |  | //
 | 
					
						
							|  |  |  | //  // Set mode
 | 
					
						
							|  |  |  | //  #if CFG_TUSB_RHPORT1_MODE & OPT_MODE_HOST
 | 
					
						
							|  |  |  | //    LPC_USB1->USBMODE_H = USBMODE_HOST | (USBMODE_VBUS_HIGH << 5);
 | 
					
						
							|  |  |  | //  #else // TODO OTG
 | 
					
						
							|  |  |  | //    LPC_USB1->USBMODE_D = USBMODE_DEVICE;
 | 
					
						
							|  |  |  | //  #endif
 | 
					
						
							|  |  |  | //
 | 
					
						
							|  |  |  | //  // USB1 as fullspeed
 | 
					
						
							|  |  |  | //  LPC_USB1->PORTSC1_D |= (1<<24);
 | 
					
						
							| 
									
										
										
										
											2018-12-05 11:53:56 +07:00
										 |  |  | #endif
 | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 16:09:44 +07:00
										 |  |  | //--------------------------------------------------------------------+
 | 
					
						
							|  |  |  | // Board porting API
 | 
					
						
							|  |  |  | //--------------------------------------------------------------------+
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | void board_led_write(bool state) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   Chip_GPIO_SetPinState(LPC_GPIO_PORT, LED_PORT, LED_PIN, state); | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-04-01 18:31:20 +07:00
										 |  |  | uint32_t board_button_read(void) | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2019-05-15 16:17:46 +07:00
										 |  |  |   // active low
 | 
					
						
							|  |  |  |   return Chip_GPIO_GetPinState(LPC_GPIO_PORT, BUTTON_PORT, BUTTON_PIN) ? 0 : 1; | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-20 20:58:27 +07:00
										 |  |  | int board_uart_read(uint8_t* buf, int len) | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | { | 
					
						
							|  |  |  |   //return UART_ReceiveByte(BOARD_UART_PORT);
 | 
					
						
							| 
									
										
										
										
											2019-10-24 12:20:06 +07:00
										 |  |  |   (void) buf; (void) len; | 
					
						
							| 
									
										
										
										
											2019-03-13 23:14:48 +07:00
										 |  |  |   return 0; | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											2019-03-13 23:14:48 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-03-20 20:58:27 +07:00
										 |  |  | int board_uart_write(void const * buf, int len) | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | { | 
					
						
							|  |  |  |   //UART_Send(BOARD_UART_PORT, &c, 1, BLOCKING);
 | 
					
						
							| 
									
										
										
										
											2019-10-24 12:20:06 +07:00
										 |  |  |   (void) buf; (void) len; | 
					
						
							| 
									
										
										
										
											2019-03-20 20:58:27 +07:00
										 |  |  |   return 0; | 
					
						
							| 
									
										
										
										
											2018-12-04 13:17:12 +07:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 17:14:15 +07:00
										 |  |  | #if CFG_TUSB_OS == OPT_OS_NONE
 | 
					
						
							|  |  |  | volatile uint32_t system_ticks = 0; | 
					
						
							|  |  |  | void SysTick_Handler (void) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   system_ticks++; | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											2019-03-23 16:51:07 +07:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2019-05-15 17:14:15 +07:00
										 |  |  | uint32_t board_millis(void) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   return system_ticks; | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | #endif
 |