NGI Navigator (Prototype)

Porting Guix to Riscv64

ngi assure early research demo Verified Active
OS & Firmware Hardware & Manufacturing

Port Guix software collection to Riscv64 architecture

🌐 Website guix.gnu.org/ 📦 Source Code codeberg.org/guix/artwork.git/src/bra... 📖 Documentation libreplanet.org/wiki/Group:Guix 🏛️ NLnet Project Page nlnet.nl

Project Information

Project ID
Guix-Riscv64
Contact
nlnet.nl/contact/
NLnet Themes
Software engineering, Operating Systems

Related Products

Software or product(s) created or improved through this project

Guix OSS

A functional package manager and software distribution for the GNU system

Similar Projects

Other NGI projects in related areas

Betrusted OS

An embedded OS for cryptographic devices

ngi zero pet OS & Firmware Hardware & Manufacturing
AAA
ngi sargasso Hardware & Manufacturing
AALT (Accelerated Analog Layout Tool)

More efficient analog layout generation for chips)

ngi zero entrust Hardware & Manufacturing
Accessible security

Integration effort of independent security efforts like Qubes Heads coreboot etc

ngi zero pet Network Infrastructure OS & Firmware

Community Discussion 3 comments

MK
Maria Kowalski 2 days ago

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation.

JD
Jean Dupont 1 week ago

Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident.

AS
Anna Schmidt 2 weeks ago

Sunt in culpa qui officia deserunt mollit anim id est laborum. Sed ut perspiciatis unde omnis iste natus error sit voluptatem accusantium doloremque laudantium.

Enrichment info: Website alive (HTTP 200); Found repository: https://codeberg.org/guix/artwork.git/src/branch/master/website; Found documentation: https://libreplanet.org/wiki/Group:Guix Last checked: 2026-02-10