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 hackers with the skills:

Nothing? Add some keywords!

This project is part of:

Hack Week 16


  • over 6 years ago: michals liked this project.
  • over 6 years ago: ArchLinux started this project.
  • over 6 years ago: ArchLinux originated this project.

  • Comments

    • a_faerber
      over 6 years ago by a_faerber | Reply

      Note that I've been packaging a RISC-V gcc based on our gcc7 here: home:a_faerber:riscv (It occasionally needs a pre_checkin.sh run to keep up with gcc7 tarball updates.)

    Similar Projects

    This project is one of its kind!