Genode – [Non-Unix] operating system framework for microkernels (written in C++) genode.org Submitted by n_n on October 6, 2019 at 5:55 PM in freeAsInFreedom No comments 1
Genode OS Framework release 19.11 genode.org Submitted by n_n on December 24, 2019 at 11:03 PM in freeAsInFreedom No comments 3