{"ref":"55_gpio_let_zynq_driver_require_spec_zynq","ref_type":"branch","master_branch":"master","description":"Collection of community-maintained components for Genode","pusher_type":"user"}
{"actor":{"display_login":"m-stein"}}