I'm planning to do some research about RV32E which has only 16 GPRs, but riscv-pk doesn't have RV32E support so that the RV32E aware GCC (https://github.com/kito-cheng/riscv-gcc/tree/riscv-next) cannot build riscv-pk. I'm going to study how the proxy kernel works so that I can do some modification to let it support RV32E.
Looking for mad skills in:
Nothing? Add some keywords!
This project is part of:
Hack Week 16
This project is one of its kind!