Re: [tz_vmm demo]- execution time

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,

Re: random number generator

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: > >

random number generator

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

Page faults in managed dataspaces

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