1#ifndef DRIVER_DOMAIN_H_
2#define DRIVER_DOMAIN_H_
3
4#include <errors/errno.h>
5
6#include "boot_modules.h"
7
8struct domain_instance* instantiate_driver_domain(char* name, coreid_t where);
9
10#endif /* DRIVER_DOMAIN_H_ */
11