libmango: add userspace syscall call-gates

2026-02-19 19:22:06 +00:00
parent 1d4fd4f586
commit 9a90662eaa
9 changed files with 319 additions and 0 deletions
@@ -0,0 +1,17 @@
+#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