<descrip>
- <tag>Disk File I/O</tag>
+ <tag>Disk file I/O</tag>
There's no disk file I/O support. Any attempt to use it yields an error with
<tt/errno/ set to <tt/ENOSYS/. This implicitly means that loadable drivers
are in general not functional as they depend on disk file I/O. Therefore the statically
</descrip><p>
+<sect1>Random number generator<p>
+
+<descrip>
+
+ <tag/Random number seed/
+ The random number seed is generated from the time the program waits for user input.
+ Therefore it is necessary to wait for at least one user keypress either via Standard
+ I/O or via Direct console I/O before initializing the pseudo random number generator.
+
+</descrip><p>
+
+
<sect>Other hints<p>
<descrip>
- <tag>Disk File I/O</tag>
+ <tag>Disk file I/O</tag>
There's no disk file I/O support. Any attempt to use it yields an error with
<tt/errno/ set to <tt/ENOSYS/. This implicitly means that loadable drivers
are in general not functional as they depend on disk file I/O. Therefore the statically
</descrip><p>
+<sect1>Random number generator<p>
+
+<descrip>
+
+ <tag/Random number seed/
+ The random number seed is generated from the time the program waits for user input.
+ Therefore it is necessary to wait for at least one user keypress either via Standard
+ I/O or via Direct console I/O before initializing the pseudo random number generator.
+
+</descrip><p>
+
+
<sect>Other hints<p>