The need to extend the Linux RISC-V timer driver for using SBI PTS extension when available Need SBI specification changes first. (https://github.com/kvm-riscv/linux/issues/7) Yet to be started.
