10 ms·Does anybody know how it compares to GenodeOS (https://genode.org https://genode.org)?by akavel 9y agoDoes anybody know how it compares to GenodeOS (https://genode.org https://genode.org)?