Yes; but the project includes "Sculpt" which is more of an OS.

https://genode.org/download/sculpt