[BUG] install riscvpk failed

[RonxBulld]

Is there an existing CVA6 bug for this?

• I have searched the existing bug issues

Bug Description

in the description of #1358, riscv64-unknown-elf to be replaced by riscv-non-elf, but my build system always talk:

checking build system type... x86_64-pc-linux-gnu
checking host system type... Invalid configuration `riscv-none-elf': machine `riscv-none' not recognized
configure: error: /bin/bash ../scripts/config.sub riscv-none-elf failed

And the $PATH is:

/home/cva/tools/bin:/home/cva/tools:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin:/snap/bin

[JeanRochCoulon]

@sjthales Are you familiar with riscvpk command ? I twould be nice to help @RonxBulld and @hhhsiang if it is the case.

[JeanRochCoulon]

Related tash #1569

[github-actions]

👋 Hi there!

This issue seems inactive. Need more help? Feel free to update us. If there are no updates within the next few days, we'll go ahead and close this issue. 😊

[valentinThomazic]

Hey @RonxBulld, did you manage to solve your issue ? If you did, could you close it ?
This may help you otherwise : #1358 (comment)

[JeanRochCoulon]

Hi @RonxBulld Thanks @valentinThomazic having given recommendation to help. But as proxy kernel is not maintained by CVA6 repository, that's why I propose to close the Github issue and I invite you to contribute to add this feature.