|
@@ -27,15 +27,11 @@ static void rt_hw_timer_init(void)
|
|
|
GPIO_REG(GPIO_OUTPUT_VAL) |= (0x1 << BLUE_LED_OFFSET) ;
|
|
|
GPIO_REG(GPIO_OUTPUT_VAL) &= ~((0x1<< RED_LED_OFFSET) | (0x1<< GREEN_LED_OFFSET)) ;
|
|
|
rt_hw_interrupt_enable(1);
|
|
|
-/* enable timer intrrupt*/
|
|
|
- set_csr(mie, MIP_MTIP);
|
|
|
+/* set_csr(mie, MIP_MTIP);*/
|
|
|
|
|
|
CLINT_REG(CLINT_MTIME) = 0x0;
|
|
|
- //CLINT_REG(CLINT_MTIMECMP) = 0x10000;
|
|
|
- set_csr(mie, MIP_MTIP);
|
|
|
-/* set_csr(mstatus, MSTATUS_MIE);*/
|
|
|
- volatile uint64_t * mtimecmp = (uint64_t*) (CLINT_CTRL_ADDR + CLINT_MTIMECMP);
|
|
|
- *mtimecmp = 0x20000;
|
|
|
+ CLINT_REG(CLINT_MTIMECMP) = 0x10000;
|
|
|
+ set_csr(mstatus, MSTATUS_MIE);
|
|
|
return;
|
|
|
}
|
|
|
void rt_hw_board_init(void)
|