// SPDX-License-Identifier: GPL-2.0/* * Copyright (C) 2012-2018 ARM Limited * * This supplies .note.* sections to go into the PT_NOTE inside the vDSO text. * Here we can supply some information useful to userland. */ #include <linux/uts.h>#include <linux/version.h>#include <linux/elfnote.h>#include <linux/build-salt.h> ELFNOTE32("Linux", 0, LINUX_VERSION_CODE);BUILD_SALT;