Hacker News
- Genode – Genode on seL4 – IPC and virtual memory https://genode.org/documentation/articles/sel4_part_2 6 comments
- Genode OS Framework 22.08 https://genode.org/documentation/release-notes/22.08 2 comments
- Genode OS Framework release 22.02 https://genode.org/news/genode-os-framework-release-22.02 12 comments
- Genode – Sculpt Operating System 21.10 https://genode.org/documentation/articles/sculpt-21-10 12 comments
- Genode OS Framework 20.11 https://genode.org/documentation/release-notes/20.11 3 comments
- Genode OS Framework 19.05 https://genode.org/documentation/release-notes/19.05 20 comments
- Genode OS: A tool kit for highly secure special-purpose operating systems https://genode.org/about/index 31 comments
- Genode OS Framework 16.05 (with Rust support and 4.4.3 Linux drivers) http://genode.org/documentation/release-notes/16.05 3 comments
- How Genode came to RISC-V http://genode.org/documentation/articles/riscv 19 comments
- Genode – Operating System Framework http://genode.org/ 23 comments
- An Exploration of ARM TrustZone Technology http://genode.org/documentation/articles/trustzone 15 comments
Lobsters
- Genode OS Framework 21.02 https://genode.org/documentation/release-notes/21.02 3 comments osdev
- Genode OS Framework 20.08 https://genode.org/documentation/release-notes/20.08 7 comments c++ , osdev
- Genode OS - 2020 Road Map Includes Initial Version of A Kernel in Ada/SPARK in August https://genode.org/about/road-map 5 comments ada
- The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads https://genode.org/about/index 4 comments osdev
- Genode OS: A tool kit for highly secure special-purpose operating systems https://genode.org/about/index 6 comments programming
- Nim support added to Genode OS Framework (a toolkit for building highly secure special-purpose operating systems) https://genode.org/news/genode-os-framework-release-17.05 9 comments nim
- Genode to switch to AGPLv3 with linking exception http://genode.org/news/open-source-license-update 4 comments freesoftware
- Genode - An Exploration of ARM TrustZone Technology http://genode.org/documentation/articles/trustzone 3 comments netsec
- Genode OS Framework 12.05 runs GCC, plays media, and supports USB on a variety of microkernels http://genode.org/news/genode-os-framework-release-12.05 5 comments programming
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