{
  "default-registry": {
    "kind": "builtin",
    "baseline": "12159785447291b4069c82a3fe9c2770a393ac7f"
  },
  "overlay-triplets": ["./triplets"],
  "overlay-ports": ["./overlay-ports"]
}