Devices using random numbers crash

[sean-anderson-seco]

Emulating a device that uses EmulationManager.Instance.CurrentEmulation.RandomGenerator fails with:

System.InvalidOperationException: Cannot access Antmicro.Renode.Core.PseudorandomNumberGenerator from an unnamed thread.

since the C# thread is unnamed. I'm currently working around this by doing

import threading
from System.Threading import Thread
Thread.CurrentThread.Name = threading.current_thread().name

but I'm not sure if that's all there is to it.