1/*
2 * Copyright (c) 2007, 2008, 2009, 2010, 2011, 2012, ETH Zurich.
3 * All rights reserved.
4 *
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10#ifndef MONITOR_SPAWN_H
11#define MONITOR_SPAWN_H
12
13errval_t spawn_all_domains(void);
14errval_t spawn_domain(char *name);
15errval_t spawn_domain_with_args(const char *name, char *const argv[],
16                                char *const envp[]);
17errval_t spawn_module_with_args(const char *name, struct mem_region *module,
18                                char *const argv[], char *const envp[]);
19errval_t span_domain(struct capref vroot, struct capref dispframe);
20errval_t spawn_spawnd(struct intermon_binding *b);
21
22#endif
23