Note the binaries are not specific to the kernel, so anything built for Genode will work on Genode systems of compatible ISA irrespective of kernel.
I am surprised to hear 2008, I could swear they have been active far longer. Maybe I am conflating it with TUD:OS.
They are indeed quite active. Just see their backlog of release notes. They release 4 times a year, on the clock, and always document what they've done.
Note the binaries are not specific to the kernel, so anything built for Genode will work on Genode systems of compatible ISA irrespective of kernel.
I am surprised to hear 2008, I could swear they have been active far longer. Maybe I am conflating it with TUD:OS.
They are indeed quite active. Just see their backlog of release notes. They release 4 times a year, on the clock, and always document what they've done.