Genodepkgs

The past decade has seen substantial improvements in the field of operating systems that have raised the standards for building high-assurance and security-critical systems. Unfortunately

More

ProjectID

Genodepkgs

Acronym

Genodepkgs

Additional Info

Resources

Source code

https://git.sr.ht/~ehmry/genodepkgs

Issue Tracker

https://todo.sr.ht/~ehmry/genodepkgs

Talk

Internet Relay Chat (IRC)

ircs://irc.libera.chat:6697/#nixos-exotic

Stay up to date

Mailinglist

https://lists.sr.ht/~ehmry/genodepkgs

Enduser Relevance

When you start up your computer, you will probably think twice before you download some random piece of software from the internet and run it. You know that doing so could allow unwelcome

More

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country: 

NGI Project:  NGI zero pet

Keyword: CrossCompilationDeliveryHostingHypervisorMicrokernel

Status: -

Category: Operating systems, firmware and virtualisation