|
NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
#include "nul/motherboard.h"#include "nul/generic_service.h"#include "nul/service_config.h"#include "nul/service_fs.h"#include "nul/region.h"#include "nul/capalloc.h"Classes | |
| class | Service_config |
Functions | |
| PARAM_HANDLER (service_config,"service_config - managing a config, e.g. start, stop") | |
| PARAM_HANDLER | ( | service_config | , |
| "service_config - managing a | config, | ||
| e.g. | start, | ||
| stop" | |||
| ) |