Dear Genode Community,
I want to implement a mechanism to monitor the access of a component to
its address space.
My idea is to implement a monitoring component which provides managed
dataspaces to a target component. Each managed dataspace has several
designated dataspaces (allocated, but not
Dear Genode Devs,
i have been system building (playing around) with genode for some times,
when the following question came up:
Where can i get random numbers from in genode? Do you use a hardware
random number generator? Which one?
Best regards
Claudius
P.S.: Your tool chain binaries are
Use jitterentropy from libports. You can find an example of how to use it
in wifi.run.
On Sep 19, 2016 7:14 AM, "Claudius Laumanns" wrote:
> Dear Genode Devs,
>
> i have been system building (playing around) with genode for some times,
> when the following question came up:
>
> Where can i get r
Dear Martin,
Thanks a lot for your answers.
I wanted to use the performance counter for more performance measurements
such as cache-misses, but I don't know how to access and use it in the
secure world userland. Could you please give me some hints? is there any
reading material on this?
Thanks,