RISC-V and interrupts, constant rate vs. tickless vs. SIE=0