"courmisch: what is the output of..." <- ~ # cat /proc/cpuinfo processor : 0 hart : 0 isa : rv64imafdcv_zicntr_zicsr_zifencei_zihpm mmu : sv39 mvendorid : 0x5b7 marchid : 0x8000000009140d00 mimpid : 0x50000 hart isa : rv64imafdcv_zicntr_zicsr_zifencei_zihpm ~ # uname -a Linux (none) 6.7.0-rc4+ #21 SMP Tue Jan 2 01:34:06 CST 2024 riscv64 GNU/Linux