#ifndef MANGO_CONFIG_H_
#define MANGO_CONFIG_H_

#include <mango/status.h>
#include <mango/types.h>
#include <stddef.h>

extern kern_status_t kern_config_get(
	kern_config_key_t key,
	void *ptr,
	size_t len);
extern kern_status_t kern_config_set(
	kern_config_key_t key,
	const void *ptr,
	size_t len);

#endif