genodelabs/genode

View on GitHub ↗ ★ 1,250 C++ archived

Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2018-04-12 · latest 2021-03-12

Mentions per year 3 mentions · busiest year 2018 (1)

20082026

All Stories Comments Newest Top Oldest

…policy by imposing a strict organizational structure onto each part of the system. " Related: https://github.com/genodelabs/genode
comment by peter_d_sherman · 2021-03-12 · in Genode Operating System Framework – General Overview
…not yet in a working state, and even then I don't know how much it would translate to RPi 4 ; see: https://github.com/genodelabs/genode/issues?q=is%3Aissue+is%... Both seL4 and Fiasco are microkernel names, not full OSes built on those…
comment by akavel · 2020-07-30 · in Debug Programs Using GDB on Redox OS
…building a usable "general purpose" desktop OS based on a microkernel, see e.g. chronologically: - https://github.com/genodelabs/genode/issues/1552 - https://github.com/genodelabs/genode/issues/2018 - https://genode.org/documentation/articl…
comment by akavel · 2018-04-12 · in Fuchsia is not Linux