random number generator

[Claudius L. <cl...@gw...>]

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 not signed.


-- 
--------------------------------------------------------------------------------------------------
Claudius Laumanns
Mac Help & Cloud Team,
Arbeitsgruppe "Anwendungs- und Informationssysteme"
Tel.: +49 551 201-1881, E-Mail: cla...@gw...
--------------------------------------------------------------------------------------------------
Gesellschaft für wissenschaftliche Datenverarbeitung mbH Göttingen (GWDG)
Am Faßberg 11, 37077 Göttingen, URL: http://www.gwdg.de
Tel.: +49 551 201-1510, Fax: +49 551 201-2150, E-Mail: gw...@gw...
Service-Hotline: Tel.: +49 551 201-1523, E-Mail: su...@gw...

Geschäftsführer: Prof. Dr. Ramin Yahyapour
Aufsichtsratsvorsitzender: Prof. Dr. Christian Griesinger
Sitz der Gesellschaft: Göttingen
Registergericht: Göttingen, Handelsregister-Nr. B 598
--------------------------------------------------------------------------------------------------
Zertifiziert nach ISO 9001
--------------------------------------------------------------------------------------------------