Milestones

List view

• R12: The verified kernel

  Verus proofs for all of rk-frame.

  No due date

  •0/1 issues closed
  0% complete1 open0 closed

• R11: Primitives that Linux does not have

  rk-nt for Wine, macOS D2, more GPUs and file systems, and confidential computing.

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• R10: The desktop and 1.0

  GPUs, laptops and the 63 day upstream gate. All five axes are at their 1.0 gates.

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• R9: macOS command line programs and arm64 at Linux speed

  rk-mach and a Darwin user land. FEX and Box64. The arm64 bench rows are green.

  No due date

  •0/1 issues closed
  0% complete1 open0 closed

• R8: Bare metal servers at Linux speed

  Real server hardware. Each server row of the bench table is green. riscv64 is tier 2.

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• R7: Observability and the rest of BPF

  The BPF JIT, BTF, perf and tracing. Cilium, Falco and bpftrace run.

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• R6: Containers, KVM guests and Windows programs

  Kubernetes conformance, a KVM host and the first Proton list.

  No due date

  •0/4 issues closed
  0% complete4 open0 closed

• R5: A distribution, with systemd

  The L4 distribution images boot to multi user mode with systemd.

  No due date

  •161/171 issues closed
  94% complete10 open161 closed