#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);