Linux device management for RISC-V