Workaround for shitty Genode clock

This commit is contained in:
Ehmry - 2019-03-30 15:37:54 +01:00
parent 7f00bb5cea
commit 7cf7d48086
1 changed files with 1 additions and 1 deletions

View File

@ -281,7 +281,7 @@ proc newSession(env: GenodeEnv; store: BlobStore; label: string; setId: SetId; f
fsSetId: setId,
fsSet: fsSet,
nodes: initTable[Handle, Node](),
rng: initRand(cpuTime().int)
rng: initRand(rand(int.high))
)
session.sig = env.ep.newSignalHandler do ():
while session.cpp.packetAvail and session.cpp.readyToAck: