Juan RP 14eac4987a linux: switch to 3.17 to make sure we have the getrandom syscall support.		2014-10-20 11:24:48 +02:00
..
template	linux: switch to 3.17 to make sure we have the getrandom syscall support.	2014-10-20 11:24:48 +02:00