For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
Genode OS Framework 26.02 (genode.org)
4 points by snvzz 38 days ago | past
Genode OS is a tool kit for building highly secure special-purpose OS (genode.org)
125 points by doener 66 days ago | past | 27 comments
Sculpt OS Version 25.10 (genode.org)
1 point by doener 68 days ago | past
Sculpt Operating System 25.10 (genode.org)
5 points by snvzz 5 months ago | past
Genode OS Framework (genode.org)
142 points by justinclift 6 months ago | past | 39 comments
Genode – Genode on seL4 – IPC and virtual memory (genode.org)
61 points by whereistimbo on Oct 29, 2023 | past | 6 comments
Genode OS Framework Foundations [pdf] (genode.org)
4 points by snvzz on Sept 12, 2023 | past
Sculpt OS Release 23.04 (genode.org)
2 points by snvzz on May 3, 2023 | past
Genode OS Framework 22.11 (genode.org)
16 points by snvzz on Nov 30, 2022 | past
Genode OS Framework 22.08 (genode.org)
11 points by todsacerdoti on Sept 1, 2022 | past | 2 comments
Genode OS Framework release 22.08 (genode.org)
4 points by snvzz on Sept 1, 2022 | past
The story behind Genode's TrustZone demo on the USB Armory (genode.org)
2 points by walterbell on May 10, 2022 | past
Sculpt OS 22.04 (genode.org)
3 points by snvzz on April 29, 2022 | past
Genode OS Framework release 22.02 (genode.org)
17 points by mewmew on March 1, 2022 | past | 12 comments
Genode OS Framework release 21.11 (genode.org)
3 points by pjmlp on Dec 6, 2021 | past
Sculpt OS Release 21.10 (genode.org)
14 points by DeathArrow on Oct 20, 2021 | past
Sculpt OS Release 21.10 (genode.org)
2 points by todsacerdoti on Oct 18, 2021 | past
Genode – Sculpt Operating System 21.10 (genode.org)
92 points by todsacerdoti on Oct 16, 2021 | past | 12 comments
Genode OS Framework 21.08 (genode.org)
4 points by todsacerdoti on Sept 1, 2021 | past
Sculpt OS 21.03 [L4-based microkernel] now boots in 2.5 seconds (genode.org)
2 points by rwmj on May 6, 2021 | past
Genode Operating System Framework – General Overview (genode.org)
2 points by peter_d_sherman on March 12, 2021 | past | 1 comment
Genode OS Framework 20.11 (genode.org)
46 points by todsacerdoti on Nov 28, 2020 | past | 3 comments
Sculpt OS Release 20.08 (genode.org)
4 points by pjmlp on Sept 19, 2020 | past
Genode – Sculpt Operating System 20.08 (genode.org)
4 points by todsacerdoti on Sept 18, 2020 | past
Release notes for the Genode OS Framework 20.08 (genode.org)
1 point by panic on Aug 29, 2020 | past
Genode OS Framework 20.08 (genode.org)
9 points by snvzz on Aug 28, 2020 | past
Genode Operating System Framework Foundations [pdf] (genode.org)
2 points by todsacerdoti on May 29, 2020 | past
Genode OS Framework release 20.05 (genode.org)
2 points by snvzz on May 28, 2020 | past
Genode Operating System Framework Foundations [pdf] (genode.org)
2 points by DyslexicAtheist on April 23, 2020 | past
Genode Road Map 2020 (genode.org)
2 points by DyslexicAtheist on April 23, 2020 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You