11 lines
205 B
C
11 lines
205 B
C
#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);
|