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