| | Genode – Genode on seL4 – IPC and virtual memory (genode.org) |
|
61 points by whereistimbo 11 months ago | 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
|
|
| | Sculpt OS Release 20.02 (genode.org) |
|
2 points by pjmlp on April 19, 2020 | past
|
|
| | Sculpt Operating System 20.02 (genode.org) |
|
2 points by pjmlp on March 11, 2020 | past
|
|
| | Genode OS roadmap includes initial version of a kernel in Ada/SPARK in August (genode.org) |
|
3 points by pjmlp on Feb 14, 2020 | past
|
|
| | Genode OS block-device encryption re-written in Ada/SPARK (genode.org) |
|
2 points by pjmlp on Feb 14, 2020 | past
|
|
| | Genode OS Framework Release 19.11 (genode.org) |
|
2 points by mlinksva on Nov 29, 2019 | past
|
|
|
|
More |
