embox

1
package embox.driver.interrupt
2

3
module riscv_clint {
4
	option number base_addr = 0x2000000
5
        option number msip_offset = 0x0000
6
        option number mtimecmp_offset = 0x4000
7
        option number mtime_offset = 0xBFF8
8

9
	source "riscv_clint.c"
10
}