Skip to content

Sponsor

Fund the operating system for the intelligence age

ANVAYA OS is built in the open by a small team and proven release by release in QEMU. Sponsors, whether individuals or organisations, turn that evidence into engineering time, real RISC-V hardware and independent verification.

Financial sponsorship

FUND

One-off or recurring contributions that pay for focused engineering time on the nucleus, the ABI and the verification harness. Individuals and organisations alike.

RISC-V hardware

HW

Development boards, SoC evaluation kits, early silicon or IP access. ANVAYA is proven in QEMU today; hardware partners bring it to real cores.

Compute and infrastructure

CI

Build and proof runners, long-running formal-verification jobs, artifact hosting. Reproducible evidence needs machines that run all day.

Research grants

GRANT

Programmes on capability security, post-quantum cryptography, AI-native systems or formal methods that want an open, clean-slate operating system as a vehicle.

In-kind services

KIND

Independent security audits, legal and licensing counsel, technical writing, design. Work the project needs but should not fund before the kernel.

Sponsor enquiry form

Spam protection runs in your browser (a short proof-of-work check). No cookies, no third-party CAPTCHA, no trackers. * required.