Konstantin Eyhorn

Issue when installing PK for RV32E

2

I want to set up a simulation environment for a RV32EMFC architecture. (Spike apperently supports RV32E so i assumed PK does too). Toolchain seems to be correctly installed as `riscv32-unknown-elf-gcc...