Hi, Thank you. I have understood. Previously I was getting a file not found error, so I had created a directory for riscv and copied ARMv7 version of jitterentropy-base-genode-nstime.h into it. and modified the required files so that the run script considers the riscv targets. Now, I need to write the hearder file (jitterentropy-base-genode-nstime.h) for risc-v that would do the same work. Can you please explain what this function ( *inline void jent_get_nstime(__u64 *out)* ) actually do ? So that I can write it for risc-v arch also.
Regards, Pranab
On Mon, Feb 27, 2023 at 7:10 PM Martin Stein martin.stein@genode-labs.com wrote:
I'm sorry, I didn't get the second part of your mail.
On 27.02.23 13:55, Pranab Kumar Rout cs21m045 wrote:
I tried to build it by looking at the header files corresponding to other architectures. I am not aware of opcode for riscv. Please guide me to write the correct code. what should be written in this header file for riscv.
The mechanics of the ARMv7 MRC can be found in the RM [1] by looking up "mrc p15, 0, <Rt>, c9, c13, 0". If I'd be in your situation I'd look for a similar semantic in the RISC-V manuals. The current RISC-V ISA used in Genode is referenced in [2].
[1] https://developer.arm.com/documentation/ddi0406/latest/ [2] https://genodians.org/ssumpf/2021-02-24-riscv
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users