そもそも libc が no_std サポートしていて、 libc 経由で OS の API を呼ぶ分には no_std で OS を使える、うーんなるほど……？
github.comrust-random/getrandomA small cross-platform library to securely get random data (entropy) - rust-random/getrandom
狐に摘まれたような気分だが、まあ確かに Rust 標準ライブラリ側でプラットフォームに依存しなければ、 C FFI 経由で外部ライブラリの存在を要求したり仮定したりは許されるのか……