IRVA - Integrated RISC-V Architecture

Verifiable Foundations. Decentralized Future

IRVA means “agreement” in a Berber language of North Africa — a meaning that reflects the initiative's purpose: bringing open hardware and software together with formally verified computing foundations designed for sensitive applications such as e-commerce and e-governance

It explores the integration of open RISC-V hardware and the seL4 microkernel into an open, auditable computing node — laying the groundwork for a truly sovereign, cybersecure terminal

Open Hardware. No Proprietary Boundaries

RISC-V is an open standard instruction set architecture that enables the development of processors without proprietary ISA licensing restrictions. Its open nature allows hardware designers to implement, adapt and innovate at the processor level, fostering transparency, collaboration and independent development

By opening the foundations of computing hardware, RISC-V offers an alternative to closed processor ecosystems — advancing hardware freedom, auditability and technological sovereignty

Formally Verified. Fundamentally Secure

seL4 is an open-source microkernel with machine-checked formal proofs of implementation correctness and security properties, within explicitly defined assumptions. Its small, carefully designed architecture provides strong isolation and fine-grained control over system resources

By making critical security properties mathematically verifiable, seL4 advances a more rigorous approach to trusted computing — providing a foundation for systems where security is designed, analysed and verified rather than simply assumed