Random number generator?

I see that I can seed the random number generator (which is great) but I’m wondering where the random number generator is coming from. Is this something that is build into i7’s “library,” or is it something provided by the host environment to the virtual machine at runtime? Is it a part of the VM itself?

Thanks in advance if anyone can help me understand how this part works, and bonus points if someone can point me at where in the source code to look if it’s happening on the i7/i6 side of things.


Both VMs have a @random opcode, which takes care of seed values etc.