1 files changed, 57 insertions, 0 deletions
diff --git a/vdso/BUILD b/vdso/BUILD
new file mode 100644
index 000000000..9c4bc167e
--- /dev/null
+++ b/vdso/BUILD
@@ -0,0 +1,57 @@
+# Description:
+#   This VDSO is a shared library that provides the same interfaces as the
+#   normal system VDSO (time, gettimeofday, clock_gettimeofday) but which uses
+#   timekeeping parameters managed by the sandbox kernel.
+
+package(licenses = ["notice"])  # Apache 2.0
+
+genrule(
+    name = "vdso",
+    srcs = [
+        "barrier.h",
+        "compiler.h",
+        "cycle_clock.h",
+        "seqlock.h",
+        "syscalls.h",
+        "vdso.cc",
+        "vdso.lds",
+        "vdso_time.h",
+        "vdso_time.cc",
+    ],
+    outs = [
+        "vdso.so",
+    ],
+    cmd = "$(CC) $(CC_FLAGS) " +
+          "-I. " +
+          "-O2 " +
+          "-std=c++11 " +
+          "-fPIC " +
+          "-fuse-ld=gold " +
+          "-m64 " +
+          "-shared " +
+          "-nostdlib " +
+          "-Wl,-soname=linux-vdso.so.1 " +
+          "-Wl,--hash-style=sysv " +
+          "-Wl,--no-undefined " +
+          "-Wl,-Bsymbolic " +
+          "-Wl,-z,max-page-size=4096 " +
+          "-Wl,-z,common-page-size=4096 " +
+          "-Wl,-T$(location vdso.lds) " +
+          "-o $(location vdso.so) " +
+          "$(location vdso.cc) " +
+          "$(location vdso_time.cc) " +
+          "&& $(location :check_vdso) " +
+          "--check-data " +
+          "--vdso $(location vdso.so) ",
+    features = ["-pie"],
+    tools = [
+        ":check_vdso",
+    ],
+    visibility = ["//:sandbox"],
+)
+
+py_binary(
+    name = "check_vdso",
+    srcs = ["check_vdso.py"],
+    visibility = ["//:sandbox"],
+)