Hacker News
Linking pages
- GitHub - guettli/deadends-of-it: Deadends of Information Technology https://github.com/guettli/deadends-of-it 70 comments
- Uses This / Alice Maz https://usesthis.com/interviews/alice.maz/ 32 comments
- GitHub - jubalh/awesome-os: A list of operating systems and stuff https://github.com/jubalh/awesome-os 7 comments
- The coming era of OS kernel modularity - DEV Community 👩💻👨💻 https://dev.to/yonkeltron/the-coming-era-of-os-kernel-modularity-5emc 3 comments
- Operating systems | Everything I know https://wiki.nikiv.dev/operating-systems/ 2 comments
- Secure Software Architectures Based on Genode +… | The AdaCore Blog https://blog.adacore.com/secure-software-architectures-based-on-genode-spark 2 comments
- GitHub - dckc/awesome-ocap: Awesome Object Capabilities and Capability Security https://github.com/dckc/awesome-ocap#readme 0 comments
- Genode OS Framework is adding PinePhone support - Liliputing https://linuxsmartphones.com/genode-os-framework-is-adding-pinephone-support/ 0 comments
- A secure operating system https://fantasycookie17.onederfultech.com/posts/2020/08/a-secure-os.html 0 comments
- Ada/SPARK on Genode – OSnews https://www.osnews.com/story/130141/ada-spark-on-genode/ 0 comments
- GitHub - Componolit/gneiss: Framework for platform-independent SPARK components https://github.com/Componolit/gneiss 0 comments
Related searches:
Search whole site: site:genode.org
Search title: Genode - Genode Operating System Framework
See how to search.