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: 

Keyword: CrossCompilationDeliveryHostingHypervisorMicrokernel

Status: -

Category: Operating systems, firmware and virtualisation

check other similar solutions