Project Configuration of genode