#linux kernel #random number generator #dev random #kernel developer #ted tso