Genode – Genode on seL4 – IPC and virtual memory (genode.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of genode.org: Genode – Genode on seL4 – IPC and virtual memory

First screen, captured 3 years ago.

Looks similar

Screenshot of genode.org: Genode OS is a tool kit for building highly secure special-purpose OS

Genode OS is a tool kit for building highly secure special-purpose OS (genode.org)

111 points by doener 8 months ago | 18 comments

Screenshot of genode.org: Genode OS Framework

Genode OS Framework (genode.org)

109 points by justinclift 1 year ago | 33 comments

Screenshot of wiki.gentoo.org: OpenRC is a dependency-based init system for Unix-like systems

OpenRC is a dependency-based init system for Unix-like systems (wiki.gentoo.org)

136 points by mariuz 3 years ago | 102 comments

Screenshot of sininenankka.dy.fi: ST-DOS

ST-DOS (sininenankka.dy.fi)

184 points by snvzz 2 years ago | 43 comments

Screenshot of gunkies.org: Gordon Letwin OS/2 Usenet post (1995)

Gordon Letwin OS/2 Usenet post (1995)(gunkies.org)

92 points by walterbell 1 year ago | 68 comments

Screenshot of menuetos.net: MenuetOS: An entire operating system in x86_64 assembly

MenuetOS: An entire operating system in x86_64 assembly (menuetos.net)

105 points by gorenb 3 years ago | 32 comments