genodepkgs/tests/sotest_nova_config.dhall

{ boot_items =
  [ { exec = "bender"
    , load = [ "hypervisor serial novga iommu", "image.elf" ]
    , name = "NOVA with Genode"
    }
  ]
, extra_dependencies = [ { name = "bender", url = "https://sotest.io/bender" } ]
}