# This series applies on GIT commit 01a084f4358d0635d1d7d826e6615b1a37276060
genode.patch
