← Back to roadmap
Implemented

FEAT_RNG (RNDR / RNDRRS)

Priority 1 - CPU Architectures & Execution Engines / 1.3 AArch64 (A64) & Cortex-A 64-bit

$750 / $750fully funded
Done$750 / $750 - 100%
As a firmware developer, I want vemu's A64 RNDR/RNDRRS random-number registers to stay accurate, so that guest RNG services (Linux/Redox randd, EDK2) keep getting entropy without faulting.

Why it matters

Let guest RNG daemons (Linux/Redox randd, EDK2) get entropy without faulting

Summary

HW random-number system registers, advertised in ID_AA64ISAR0

Scope of work

Already implemented. Harden, broaden coverage, add tests and documentation for FEAT_RNG (RNDR / RNDRRS). What it is: HW random-number system registers, advertised in ID_AA64ISAR0. Why it matters: Let guest RNG daemons (Linux/Redox randd, EDK2) get entropy without faulting.

Current state

Status: Fully implemented. Notes / evidence: vemu-arch-aarch64/src/cpu.rs SplitMix64 RNDR/RNDRRS.

Blocked by 2

Fund these first - this work can't be completed until they ship.

  • Done
  • Done

Activity log

  1. Feature defined and added to the roadmap

  2. Funding goal set to $750

  3. Implementation status: Implemented

  4. Delivered - counted as fully funded