#include <test_helper.h>
#include <test_spawn.h>
#include <spawn/spawn.h>

void do_test_spawn(void) {
  struct spawninfo si;
  domainid_t pid;
  CHECK_ERR(spawn_load_by_name("hello", &si, &pid));
}