vdso

kernel/core/vdso.c

@@ -0,0 +1,10 @@
+#include <common/compiler.h>
+#include <kernel/vdso.h>
+#include <stdint.h>
+
+[[__used, __section(".vdso")]]
+const uint8_t vdso_bytes[] = {
+#embed VDSO_PATH
+};
+
+const size_t vdso_length = sizeof(vdso_bytes);