genodepkgs/tests/sotest_hw_config.dhall

{ boot_items =
  [ { exec = "bender", load = [ "image.elf" ], name = "Genode base-hw" } ]
, extra_dependencies = [ { name = "bender", url = "https://sotest.io/bender" } ]
}