On Allwinner D1, the SBI call to schedule timer interrupts doesn't work.
authorkettenis <kettenis@openbsd.org>
Sat, 27 Jan 2024 12:05:40 +0000 (12:05 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 27 Jan 2024 12:05:40 +0000 (12:05 +0000)
commiteda78419691a0f30e20eb4a2878e56aa339650a3
tree9fb71f3ccc1710a46df1842a2790905fdbe51e42
parentbaea1cbff54e12b34f56882a3f31914c4d0aeb25
On Allwinner D1, the SBI call to schedule timer interrupts doesn't work.
Instead we have to use one of the timers integerated on the SoC that
triggers an external interrupt.  Add the appropriate driver and change
the MD clock code to hook it up.

ok cheloha@, jca@
sys/arch/riscv64/conf/files.riscv64
sys/arch/riscv64/dev/sxitimer.c [new file with mode: 0644]
sys/arch/riscv64/include/cpu.h
sys/arch/riscv64/riscv64/clock.c