jitterentropy base genode nstime.h for virt riscv

Pranab Kumar Rout cs21m045 cs21m045 at smail.iitm.ac.in
Tue Feb 28 11:24:18 CET 2023

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.


On Mon, Feb 27, 2023 at 7:10 PM Martin Stein <martin.stein at genode-labs.com>

> 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 at lists.genode.org
> https://lists.genode.org/listinfo/users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20230228/6048d114/attachment.htm>

More information about the users mailing list