[submodule "extern/drgn"]
  path = extern/drgn
  url = https://github.com/JakeHillion/drgn.git