1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (C) 2012 ARM Limited
4 *
5 * Author: Will Deacon <will.deacon@arm.com>
6 */
7
8#include <linux/init.h>
9#include <linux/linkage.h>
10#include <linux/const.h>
11#include <asm/page.h>
12
13	.globl vdso_start, vdso_end
14	.section .rodata
15	.balign PAGE_SIZE
16vdso_start:
17	.incbin "arch/arm64/kernel/vdso/vdso.so"
18	.balign PAGE_SIZE
19vdso_end:
20
21	.previous
22