- Implement support for "ports" - Update Nixpkgs to use Genode 20.02 - Remove packaging of forked Genode