genode/repos/libports/include/spec
Alexander Boettcher d4b9be8d44 stdcxx: support /dev/urandom
when cpu does not provide sufficient hardware support. (happens on our
nightly test machine as also build machine).

Issue #4094
2021-05-28 14:15:27 +02:00
..
32bit/gmp libports: update gmp from 4.3.2 to 6.1.2 2019-11-19 14:45:39 +01:00
64bit/gmp libports: update gmp from 4.3.2 to 6.1.2 2019-11-19 14:45:39 +01:00
arm stdcxx: support /dev/urandom 2021-05-28 14:15:27 +02:00
arm_64 stdcxx: support /dev/urandom 2021-05-28 14:15:27 +02:00
x86_32 stdcxx: support /dev/urandom 2021-05-28 14:15:27 +02:00
x86_64 stdcxx: support /dev/urandom 2021-05-28 14:15:27 +02:00